Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Вычислимость и логика
Авторы: Булос Дж., Джеффри Р.
Аннотация:
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Функция рекурсивная (recursive function)100114130216 Функция следования (successor function)104 Функция тождественная (identity function)14 Функция характеристическая (characteristic function)117135216 Функция частичная (partial function)151718 Функция частично рекурсивная (partial recursive function)130 Функция, вычислимая по Тьюрингу (Turing computable function)69 Характеристическая функция (characteristic function)117135216 Харари341 Харрингтон348 Хенкия273 Частичная функция (partial function)151718 Частично рекурсивная функция (partial recursive function)130 Четверки (quadruple)40 Чехарда (leapfrog routine)50 Чёрч154228335 Чистая формула (pure formula)328 Чистое диетическое предложение (pure dyadic sentence)328335339 Чистое монадическое предложение (pure monadic sentence)333 Чистое предложение (pure sentence)300 Эквивалентность логическая (logical equivalence)146147 Экзистенциальная конкретизация EI (existential instantiation)170 Элиминация кванторов (elimination of quantifiers)291 Эндертон297 Эрбран335 Эффективность (effectiveness)37 Эффективный позитивный тест для общезначимости (effective positive test for validity)194 Явное определение (explicit definition)323 Язык (language)133 Язык арифметики (language of arithmetic) (L)133214