Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета. На диске содержится "Тетрадь по математической логике" с печатной основой. Распечатав ее, учащийся получает минимальный набор задач по данному курсу.
Podrobno izlozheny osnovy matematicheskoj logiki, privlechen material shkolnogo kursa matematiki dlja ego logicheskogo analiza, okharakterizovany vzaimosvjazi matematicheskoj logiki s kompjuterami i informatikoj. Dlja studentov universitetov, tekhnicheskikh i pedagogicheskikh vuzov, obuchajuschikhsja po spetsialnostjam "Matematika", "Prikladnaja matematika", "Matematik-pedagog", "Uchitel matematiki" na urovnjakh bakalavriata, magistratury, a takzhe spetsialiteta. Na diske soderzhitsja "Tetrad po matematicheskoj logike" s pechatnoj osnovoj. Raspechatav ee, uchaschijsja poluchaet minimalnyj nabor zadach po dannomu kursu.
