Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Крайзель Г. - Исследования по теории доказательств

Наука и познание >> Математика





Разместил: xalienx

5-08-2014, 22:38

Просмотров: 279





Крайзель Г. - Исследования по теории доказательств

Название : Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Язык: русский
Год: 1981
Формат: djvu
Размер: 3 Мб
Страницы: 288
Описание:
Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин.
Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.


Скачать книгу:








Похожие публикации

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

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

Королюк В.С. - Справочник по теории вероятностей и математической статистике Королюк В.С. - Справочник по теории вероятностей и математической статистике
Справочник представляет собой расширенное и переработанное издание книги «Справочник по теории вероятностей и математической статистике» под редакцией В. С. Королюка, вышедшей в 1978 г. в издательстве «Наукова думка». По широте охвата основных идей,

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Алгебраические системы Алгебраические системы
Автору книги А. И. Мальцеву принадлежат фундаментальные результаты в теории групп, в теории колец и линейных алгебр, в топологической алгебре, в теории групп Ли, в математической логике. А. И. Мальцев является одним из создателей теории

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

Математическая теория логического вывода Математическая теория логического вывода
Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ,

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления

Гохман А.В. - Сборник задач по математической логике и алгебре множеств Гохман А.В. - Сборник задач по математической логике и алгебре множеств
Описание: Предлагаемый сборник задач составлен в соответствии с программой университетского курса "Элементы математической логики и алгебры множеств".

Роберт Столл - Множества. Логика. Аксиоматические теории Роберт Столл - Множества. Логика. Аксиоматические теории
Описание: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций надмножествами).




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов