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

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

М.: Мир, 1969. 568 с.

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

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

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

Гильберт Д., Бернайс П. Основания математики

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

Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со свой проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 1

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

М.: Наука, 1979. - 557 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 2

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

М.: Наука, 1982. - 652 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

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

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

2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса ма...

Идельсон А.В., Минц Г.Е. Математическая теория логического вывода

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

М.: Наука, 1967. - 351 с. Серия "Математическая логика и основания математики". Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некотор...

Кузичев А.С. Диаграммы Венна

формат djvu
размер 4.05 МБ
добавлен 21 марта 2011 г.

М.: «Наука», 1968. - 253 с. Книга посвящена графическому аппарату математической логики - диаграммам Венна, их истории и применению. Автор показывает, что диаграммы Венна могут облегчать решение различных задач математической логики и задач, связанных с построением надёжных алгоритмов из не вполне надёжных элементов. В книге разбирается ряд задач, сформулированных Булем, Джевонсом, Порецким и другими логиками, и показывается развитие метода диагр...

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

формат djvu
размер 2.52 МБ
добавлен 30 декабря 2008 г.

3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

Мельников Г.П. Азбука математической логики

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

М.: Знание, 1967. - 104 с. Небольшое за объемом пособие, доступное даже тем, кто не имеет значительной математической подготовки. Состоит из трех разделов: "Общие исходные понятия", "Логические отношения и законы математической логики", "Логика и математика".

Попов А.И. Введение в математическую логику

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

Ленинград: Издательство Ленинградского университета, 1959. - 109 с. Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается м...

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

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

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