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