 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
И. Л. Тимофеева
Математическая логика. Курс лекций
КДУ, 2007 Страниц: 304 Формат: 60x84/16 Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Школьники, родители и учителя выберут новый дизайн карты [Москвенокk
Разработчики предлагают шесть вариантов нового оформления карты
Школьники, родители и педагоги смогут сами выбрать фильмы для нового сезона проекта [Московское кино в школеk
Для этого на сайте проекта была создана специальная анкета
|
