|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
205173 |
| 005 |
20231101225249.0 |
| 010 |
|
|
|a 9785160052045
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\223627
|
| 090 |
|
|
|a 205173
|
| 100 |
|
|
|a 20111207d2012 m y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y j 001zy
|
| 200 |
1 |
|
|a Математическая логика
|e учебное пособие
|f В. И. Игошин
|
| 210 |
|
|
|a Москва
|c Инфра-М
|d 2012
|
| 215 |
|
|
|a 399 с.
|e CD-R
|
| 225 |
1 |
|
|a Высшее образование
|
| 320 |
|
|
|a Библиогр.: с. 389-392.
|
| 330 |
|
|
|a Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов. технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
|
| 606 |
1 |
|
|a Математическая логика
|2 stltpush
|3 (RuTPU)RU\TPU\subj\41205
|9 61013
|
| 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 применение
|
| 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 CD
|
| 675 |
|
|
|a 510.6(075.8)
|v 3
|
| 700 |
|
1 |
|a Игошин
|b В. И.
|g Владимир Иванович
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20111207
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20190417
|g RCR
|
| 900 |
|
|
|a Математическая логика и теория алгоритмов
|
| 942 |
|
|
|c BK
|
| 951 |
|
|
|b 010100
|
| 959 |
|
|
|a 98/20111207
|d 2
|e 333,94
|f ЧЗТЛ:1
|f АНЛ:1
|
