Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики» на уровнях бакалавриата, магистратуры, а также специалитета. На диске содержится «Тетрадь по математической логике» с печатной основой. Распечатав ее, учащийся получает минимальный набор задач по данному курсу.
Федеральное государственное бюджетное учреждение культуры «Российская государственная библиотека для молодёжи»
Главное здание
107061 Москва, ул. Б. Черкизовская, дом 4, корпус 1 Метро «Преображенская площадь» (выход №5) Телефон для справок: +7 499 670-80-01 E-mail: info@rgub.ru
Филиал библиотеки — МИКК «Особняк В.Д. Носова»
107023 Москва, ул. Электрозаводская, 12, стр. 1 Метро «Электрозаводская» Телефоны для справок: +7 499 670-80-01 (доб. 600) E-mail: mansion@rgub.ru
![Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998](/searchcat/covers/RGUB-BIBL-0000181170.jpg "Лихтарников Л. М., Математическая логика. Курс лекций. Задачник-практикум и решения. [Учеб. пособие для вузов] — 1998»")
