Лекции по основам математической логики. Формальные системы первого порядкаКНИГИ » НАУКА И УЧЕБА
Автор: Михайлов А.Б., Швецкий М.В., Рыжова Н.И. Название: Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета (бакалавриат) . Упражнения по основам математической логики Издательство: СПб.: РГПУ Год: 1998 Страниц: 300 Формат: djvu Размер: 35,8 Мб Язык: Русский
Объектом изучения математической логики является понятие математического доказательства, которое в своем современном и наиболее завершенном виде воплощается в аксиоматических теориях. В пособии содержится лекционный материал по разделу "Формальные системы первого порядка" и предназначено для поддержки курса "Математическая логика и теория алгоритмов". Дополнительно архив содержит книгу «Упражнения по основам математической логики». Это пособие содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Эти пособия рекомендованы для студентов математических факультетов педагогических вузов.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Математическая логика (2017) Название: Математическая логика (2017) Автор: Алябьева В.Г. Издательство: Пермь: Пермский государственный национальный исследовательский университет...
Лекции и практикум по математической логике Название: Лекции и практикум по математической логике Автор: Зарипова Э.Р., Маркова Е.В. Издательство: Российский университет дружбы народов Год:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Игошин В.И. Издательство: Академия Год: 2008 - 2-е изд. Cтраниц: 448 Формат: pdf Размер:...
Вводный курс математической логики (2004) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: М.: Физматлит Год: 2004 Страниц: 128...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Лекции по основам математической логики. Формальные системы первого порядка 
