|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
242119 |
| 005 |
20231101231853.0 |
| 010 |
|
|
|a 9785769595592
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\263416
|
| 090 |
|
|
|a 242119
|
| 100 |
|
|
|a 20130826d2013 m y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y j 001zy
|
| 200 |
1 |
|
|a Математическая логика и теория алгоритмов
|e учебное пособие
|f В. Н. Крупский, В. Е. Плиско
|
| 210 |
|
|
|a Москва
|c Академия
|d 2013
|
| 215 |
|
|
|a 416 с.
|
| 225 |
1 |
|
|a Высшее профессиональное образование. Информатика и вычислительная техника
|
| 225 |
1 |
|
|a Бакалавриат
|
| 320 |
|
|
|a Библиогр.: с. 412-413.
|
| 330 |
|
|
|a Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.
|
| 606 |
1 |
|
|a Математическая логика
|2 stltpush
|3 (RuTPU)RU\TPU\subj\41205
|9 61013
|
| 606 |
1 |
|
|a Алгоритмы, теория
|2 stltpush
|3 (RuTPU)RU\TPU\subj\58912
|9 76596
|
| 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 учебные пособия
|
| 675 |
|
|
|a 510.5(075.8)
|v 3
|
| 675 |
|
|
|a 510.6(075.8)
|v 3
|
| 700 |
|
1 |
|a Крупский
|b В. Н.
|g Владимир Николаевич
|
| 701 |
|
1 |
|a Плиско
|b В. Е.
|g Валерий Егорович
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20130826
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20150702
|g RCR
|
| 900 |
|
|
|a Математическая логика и теория алгоритмов
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|b 230100
|b 230400
|
| 959 |
|
|
|a 115/20130826
|d 2
|e 631,00
|f ЧЗТЛ:1
|f АНЛ:1
|
