Автор: Михайлов А.Б., Швецкий М.В., Рыжова Н.И.
Название: Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета (бакалавриат) . Упражнения по основам математической логики
Издательство: СПб.: РГПУ
Год: 1998
Страниц: 300
Формат: djvu
Размер: 35,8 Мб
Язык: Русский

Интерес к математической логике в последние годы значительно возрос ввиду широкого распространения вычислительной техники, развития информатики и исследований по проблеме искусственного интеллекта, ведь в основе программирования и многих работ по искусственному интеллекту лежат базисные понятия математической логики - формализованные языки, исчисления, семантические модели и т.п. В пособии содержится лекционный материал по разделу "Формальные системы первого порядка" и предназначено для поддержки курса "Математическая логика и теория алгоритмов". Дополнительно архив содержит книгу «Упражнения по основам математической логики». Это пособие содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Эти пособия рекомендованы для студентов математических факультетов педагогических вузов.