Математическая логика

Описание


В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов. 6-е издание, исправленное.

Рейтинг издания


Нет оценки

Математическая логика

Автор: 
Ершов Юрий Леонидович
Палютин Евгений Андреевич
Издатель: 
Физматлит
Год издания: 
2011

Похожие издания:


Теория вероятностей и математическая статистика

Книга представляет собой учебное пособие по курсу теории вероятностей и математической статистики для экономистов: содержит изложение теории вероятностей и основные задачи математической статистики.

Логика для всех. От пиратов до мудрецов

Четырнадцатая книжка серии "Школьные математические кружки" посвящена логическим задачам и является продолжением ранее вышедшей книжки И. В. Раскиной и Д. Э. Шноля "Логические задачи" (выпуск 11).

Сценарии занятий с дошкольниками: математика, логика, письмо, развитие речи. ФГОС

Пособие входит в учебно-методический комплект, разработанный для интенсивной подготовки детей 5–7 лет к школе.

Теория вероятностей для социолого-экономических специальностей

В пособии изложены основы теории вероятностей, комбинаторики, теории случайных процессов, теории массового обслуживания, теории надежности, сопровождаемые большим количеством примеров и задач.

Числа первого десятка. Логика и счет

Нужно ли учить ребёнка читать, писать и считать до школы? Однозначного ответа на этот вопрос у педагогов нет и быть не может, потому что каждый ребёнок индивидуален, каждый развивается в своём темпе.

Математический анализ. Начальный курс с примерами и задачами. Часть 2

Учебное пособие предназначено для начального ознакомления с основами математического анализа и развития навыков решения практических задач.