Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений.
Uchebnoe posobie nachinaetsja s rassmotrenija otnoshenij mezhdu logikoj, matematikoj, matematicheskoj logikoj i realnym mirom. Kratko izlagaetsja istorija matematicheskoj logiki. K traditsionnym razdelam predmeta otnosjatsja: osnovy teorii mnozhestv, propozitsionalnaja logika i jazyk predikatov, aksiomaticheskie teorii i teorija vychislimosti. Znachitelnoe mesto zanimajut izlozhenie lambda-ischislenija i rassmotrenie razlichnykh vidov matematicheskikh dokazatelstv. Privodjatsja dokazatelstva teorem Gjodelja o polnote. Posobie soderzhit zadachi, dlja nekotorykh iz nikh privedeny reshenija.Dlja studentov matematicheskikh napravlenij universitetov, prepodavatelej matematiki i kompjuternykh nauk vysshikh uchebnykh zavedenij.
