Плиско

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004.

   В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
Скачать и читать Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
 

Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013

Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013.

   Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки «Информатика и вычислительная техника», «Информационные системы», «Фундаментальная информатика и информационные технологии» (квалификация «бакалавр»).
Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений.
Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013
Скачать и читать Математическая логика и теория алгоритмов, Крупский В.Н., Плиско В.Е., 2013
 

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007.

Вучебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв.

ВВЕДЕНИЕ.

Логику можно определить как науку о правильных способах рассуждения, т. е. таких способах рассуждения, при которых из верных исходных положений получаются верные результаты. Конечно, можно рассуждать и без науки о правильных рассуждениях. Однако в некоторых случаях потребность в такой науке все же возникает. В частности, такая ситуация сложилась в математике в конце XIX — начале XX вв., когда были обнаружены парадоксы в теории абстрактных множеств, разработанной Г. Кантором. Анализ парадоксов потребовал внимательного исследования рассуждений, применяемых в математике, и тем самым вызвал необходимость в развитии науки о рассуждениях, т. е. логики. Чтобы логика могла обслуживать самую точную из наук — математику, она сама должна быть точной наукой, т. е. она должна иметь дело с точными математическими понятиями и применять точные математические методы. Такова математическая логика — наука о математических рассуждениях, пользующаяся математическими методами.

ОГЛАВЛЕНИЕ.

ГЛАВА 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ.
ГЛАВА 2 ЯЗЫКИ ПЕРВОГО ПОРЯДКА.
ГЛАВА 3 ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ.
ГЛАВА 4 ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ.
ГЛАВА 5 ТЕОРИЯ АЛГОРИТМОВ.
Список рекомендуемой литературы.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать: Скачать - pdf - Яндекс.Диск.
 

Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009

Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009.
 
  В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к формализации понятия алгоритма; даны начала алгоритмической теории множеств; представлены наиболее известные результаты об алгоритмической неразрешимости, а также элементы теории сложности вычислений.
Для студентов высших учебных заведений. Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости.

Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009
Купить бумажную или электронную книгу и скачать и читать Теория алгоритмов, Крупский В.Н., Плиско В.Е., 2009
 

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004.

  В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Книга предназначена для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
Скачать и читать Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004