Книга: Н. К. Верещагин, А. Шень «Языки и исчисления»
|
Производитель: "МЦНМО" Серия: "Лазерная техника и технология" Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности. ISBN:978-5-4439-0013-1 Издательство: "МЦНМО" (2012) Формат: 60x90/16, 240 стр.
ISBN: 978-5-4439-0013-1 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Языки и исчисления | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 240 стр.) Современные лекционные курсы Подробнее... | бумажная книга | ||
| Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 160 стр.) Подробнее... | бумажная книга | ||
| Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 160 стр.) Подробнее... | бумажная книга | ||
| Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1 | Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Московский центр непрерывного математического образования (МЦНМО), (формат: 60x90/16, 112 стр.) Современные лекционные курсы Подробнее... | бумажная книга |
См. также в других словарях:
Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… … Лингвистический энциклопедический словарь
искусственные языки — ИСКУССТВЕННЫЕ ЯЗЫКИ знаковые системы, являющиеся результатом целенаправленной деятельности людей, что отличает их от естественных языков, которые формировались стихийно вместе с развитием человеческого общества. Можно выделить две … Энциклопедия эпистемологии и философии науки
ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ — (от лат. extensio – протяжение, расширение) – понятия, являющиеся экспликатами традиционного (восходящего к Пор Рояля логике) подхода к выражениям языка с т. зр. их объемной (означение) и содержательной (соозначение) характеристики.… … Философская энциклопедия
ПРЕДМЕТНАЯ ОБЛАСТЬ — универсум, термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается… … Математическая энциклопедия
Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… … Википедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
