Чёрч А. Введение в математическую логику. Том 1

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

Пер. с англ. В. С. Черняевского, под редакцией В. А. Успенского. Издательство иностранной литературы. Москва, 1960.

Эта монография принадлежит перу одного из самых известных современных специальистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики.
Содержащееся в этом томе Введение (стр. 15-63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.

Похожие разделы

Смотрите также

Беркли Э. Символическая логика и разумные машины

формат djvu
размер 1.98 МБ
добавлен 13 марта 2009 г.

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

Депман И.Я. Первое знакомство с математической логикой

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

Ленинград: Знание, 1963. - 57 с. Учебное пособие, для тех. кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.

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

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

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

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

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

М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы

формат djvu
размер 1.77 МБ
добавлен 25 июня 2011 г.

Учебное пособие. М.: Издательство Московского университета, 1984, - 120 с. Книга представляет собой вторую часть учебного пособия авторов «Введение в математическую логику» (Изд-во Моск. ун-та, 1982 г. ), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Ги...

Лупанов О.Б. Введение в математическую логику

формат pdf
размер 1.28 МБ
добавлен 21 октября 2009 г.

Мех-мат, МГУ. - 2007 г. - 192 с. Учебное пособие для студентов и аспирантов. Функции алгебры логики. Функции k-значной логики. Логические схемы. Конечные автоматы. Алгоритмы и вычислимые функции. Исчисление высказываний. Логика предикатов. Исчисление предикатов.

Лупанов О.Б. Лекции по математической логике

формат pdf
размер 365.13 КБ
добавлен 08 января 2011 г.

МехМат МГУ, 1 курс, 2 семестр. 2004. Оглавление: Булева алгебра. k-значная логика. Схемы из функциональных элементов. Автоматы. Логика. Исчисления и предикаты. Алгоритмы. Данный документ представляет собой курс лекций "Введение в математическую логику", читаемый деканом механико-математического факультета МГУ академиков РАН О. Б. Лупановым на I курсе мехмата во втором семестре.

Манин Ю.И. Лекции по математической логике. Часть 1

формат djvu
размер 1.55 МБ
добавлен 08 января 2011 г.

1974. -135 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума. Качество файла - среднее. Скан-то неплохой, просто сам оригинал представляет собой набранный на печатной машинке текст с рукописными формулами. Почему ни одно хорошее издание тех лет не взя...

Манин Ю.И. Лекции по математической логике. Часть 2

формат djvu
размер 893.93 КБ
добавлен 08 января 2011 г.

1974. -71 с. Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. Основной объект изучения второй части курса - детерминированный процесс вычисления, или переработки нечисловой информации - алгоритм.

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

формат doc
размер 155.12 КБ
добавлен 14 января 2010 г.

Калининград: КГТУ, 2001. -140 с. Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством примеров. Каждый студент выполняет расчетно-графические работы по реляционной логике. Содержание: Введение 3. Логика реляционная 3...