Тарский А. Введение в логику и методологию дедуктивных наук

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

Нижний новгород, 1998. 86 с. Учебное пособие представляет запись лекций по курсу "Теория алгоритмов и математическая логика" для механико-математического факультета, обучающихся по специальности "Математика". Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории.

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

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

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

Операции логики Буля. Формы представления булевых операций. Методы доказательства в логике Буля. Задания на практическую работу по логике высказываний. Введение в логику высказываний. Построение доказательств в логике высказываний. Аксиоматический метод. Таблицы истинности. Метод Вонга. Метод натурального исчисления. Задания на практическую работу по логике высказываний. Примеры решения задач. Доказать методом натурального исчисления истинность с...

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

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

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

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