Книга: Н. К. Верещагин, А. Шень «Языки и исчисления»

Языки и исчисления

Производитель: "МЦНМО"

Серия: "Лазерная техника и технология"

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности. ISBN:978-5-4439-0013-1

Издательство: "МЦНМО" (2012)

Формат: 60x90/16, 240 стр.

ISBN: 978-5-4439-0013-1

Купить за 379 грн (только Украина) в

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Языки и исчисленияКнига написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 240 стр.) Современные лекционные курсы Подробнее...2012233бумажная книга
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функцииКнига написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 160 стр.) Подробнее...2012181бумажная книга
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функцииКнига написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — МЦНМО, (формат: 60x90/16, 160 стр.) Подробнее...2012213бумажная книга
Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов… — Московский центр непрерывного математического образования (МЦНМО), (формат: 60x90/16, 112 стр.) Современные лекционные курсы Подробнее...2017160бумажная книга

См. также в других словарях:

  • Искусственные языки — Искусственные языки  знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… …   Лингвистический энциклопедический словарь

  • искусственные языки —         ИСКУССТВЕННЫЕ ЯЗЫКИ знаковые системы, являющиеся результатом целенаправленной деятельности людей, что отличает их от естественных языков, которые формировались стихийно вместе с развитием человеческого общества.         Можно выделить две …   Энциклопедия эпистемологии и философии науки

  • ЭКСТЕНСИОНАЛЬНЫЕ И НЕЭКСТЕНСИОНАЛЬНЫЕ ЯЗЫКИ — (от лат. extensio – протяжение, расширение) – понятия, являющиеся экспликатами традиционного (восходящего к Пор Рояля логике) подхода к выражениям языка с т. зр. их объемной (означение) и содержательной (соозначение) характеристики.… …   Философская энциклопедия

  • ПРЕДМЕТНАЯ ОБЛАСТЬ — универсум, термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается… …   Математическая энциклопедия

  • Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… …   Википедия

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»