| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.12 - Б 854
Босс, В.
Лекции по математике. Т.6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя / В. Босс. — Москва : Либроком, 2015. — 208 с. — Сокр. и обозн.: с. 200. - Лит.: с. 202. - Предм. указ.: с. 204. — ISBN 978-5-397-04993-1. — Текст : непосредственный.
Лекции по математике. Т.6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя / В. Босс. — Москва : Либроком, 2015. — 208 с. — Сокр. и обозн.: с. 200. - Лит.: с. 202. - Предм. указ.: с. 204. — ISBN 978-5-397-04993-1. — Текст : непосредственный.
Экземпляры: Всего: 2, из них: аб.-2 в наличии 1
Дисциплина из КО: Математическая логика и теория алгоритмов
Подробнее
Авторы: Босс В.
Отраслевые рубрики: математика, математическая логика, теория алгоритмов
Ключевые слова: HSI-проблема Тарского, алгоритмы, булева алгебра логики, булевы структуры, вычислимость, Геделя теорема о неполноте, Геделя теорема о непротиворечивости, диофантовы множества, доказуемость, исчисление высказываний, конструктивная математика, конструктивные числа, машина Тьюринга, неопределенность, непротиворечивость, неразрешимость, неформализуемость истины, нумерация, парадокс категоричности, Пеано арифметика, перечислимые множества, Поста система, Райса теорема, рекурсивные функции, Сколема парадокс, теорема о неподвижной точке, теория алгоритмов Маркова, теория моделей, универсальные вычисления, универсальные множества, универсальные функции, формальные грамматики, Цермело-Френкеля теория, Шпеккера последовательность
Индексы ББК: 22.12, 22.127
Представления: Формат MARC21