Букур И., Деляну А. Введение в теорию категорий и функторов

Балюк А.С., Винокуров С.Ф. и др. Избранные вопросы теории булевых функций

формат djvu
размер 1.85 МБ
добавлен 23 сентября 2010 г.

А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др.; Под ред. С. Ф. Винокурова, Н. А. Перязева. — М.: Физматлит, 2001. — 192 с. Рассматриваются разделы теории булевых функций, интенсивно развивающиеся в настоящее время: представление бинарными термами, бесповторными термами и полиномиальными формами. Введение в теорию булевых функций. Бесповторные булевы функции. Полиномиальные представления булевых функций. Методы нахождения представлений частич...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

формат djvu
размер 5.03 МБ
добавлен 16 мая 2009 г.

М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирант...

Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика

формат pdf
размер 15.89 МБ
добавлен 17 февраля 2011 г.

М.: Мир, 1985. - 606 с. Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспиранто...

Галиев Ш. Математическая логика и теория алгоритмов

формат pdf
размер 7.14 МБ
добавлен 28 января 2010 г.

Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и их взаимосвязи. Понятие о сложности вычислений, различн...

Дурнев В.Г. Элементы теории множеств и математической логики

формат djvu
размер 11.03 МБ
добавлен 05 октября 2009 г.

Ярославль, Ярославский государственный университет, 1978. -117 с. Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В первой части пособия излагаются основные элементарные понятия и теоремы теории множеств, большое внимание уделяется аксиоме выбора.

Карри Х.Б. Основания математической логики

формат djvu
размер 3.78 МБ
добавлен 25 сентября 2010 г.

М.: Мир, 1969. 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструк...

Математическая логика и основания математики (23 выпуска)

формат djvu
размер 105.57 МБ
добавлен 05 ноября 2010 г.

М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

Миронов А.М. Математическая логика

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.

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

формат djvu
размер 862.87 КБ
добавлен 01 ноября 2009 г.

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

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

формат djvu
размер 2.36 МБ
добавлен 11 марта 2010 г.

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