|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
118858 |
| 005 |
20260824132055.0 |
| 010 |
|
|
|a 9785982273079
|b 1000 экз.
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\128612
|
| 090 |
|
|
|a 118858
|
| 100 |
|
|
|a 20070619d2007 m y0rusy5002 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y j 001zy
|
| 200 |
1 |
|
|a Математическая логика
|e курс лекций
|e учебное пособие
|f И. Л. Тимофеева
|
| 205 |
|
|
|a 2-е изд., перераб.
|
| 210 |
|
|
|a Москва
|c Университет
|d 2007
|
| 215 |
|
|
|a 304 с.
|
| 320 |
|
|
|a Предметный указатель: с. 295-299.
|
| 320 |
|
|
|a Библиогр.: с. 292-294.
|
| 330 |
|
|
|a Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
|
| 610 |
1 |
|
|a математическая логика
|
| 610 |
1 |
|
|a высказывания
|
| 610 |
1 |
|
|a логика
|
| 610 |
1 |
|
|a исчисления
|
| 610 |
1 |
|
|a естественный вывод
|
| 610 |
1 |
|
|a пропорциональные системы
|
| 610 |
1 |
|
|a предикаты
|
| 610 |
1 |
|
|a предикатные системы
|
| 610 |
1 |
|
|a теория первого порядка
|
| 610 |
1 |
|
|a теория множеств
|
| 610 |
1 |
|
|a учебные пособия
|
| 675 |
|
|
|a 510.6(075.8)
|v 3
|
| 700 |
|
1 |
|a Тимофеева
|b И. Л.
|g Ирина Леонидовна
|4 070
|
| 801 |
|
0 |
|a RU
|b 63413507
|c 20070425
|g PSBO
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20070619
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20150502
|g PSBO
|
| 942 |
|
|
|c BK
|
