Исследования по теории доказательств

Исследования по теории доказательств КНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ

Название: Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Год: 1981
Формат: pdf
Страниц: 286
Размер: 13 Мб
Язык: русский

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

Скачать с katfile.com

Скачать с turbo.to

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: oksanavalera 16-02-2022, 08:04 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Математический интуиционизм. Введение в теорию доказательств Название: Математический интуиционизм. Введение в теорию доказательств Автор: Драгалин А.Г. Издательство: Наука Год: 1979 Формат: PDF Страниц: 256...

Конструктивная теория доказательств и нестандартный анализ Название: Конструктивная теория доказательств и нестандартный анализ Автор: А. Драгалин Издательство: УРСС Год: 2003 Формат: djvu Страниц: 543...

Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Cтраниц: 208 Формат: pdf Размер: 32 мб Язык: русский Кроме...

Курс лекций по математической логике и теории алгоритмов Название: Курс лекций по математической логике и теории алгоритмов Автор: Алиев Ф.К., Юров И.А. Издательство: М.: МИФИ Год: 2003 Формат: pdf Страниц:...

Справочник по теории вероятностей и математической статистике Название: Справочник по теории вероятностей и математической статистике Автор: Королюк В.С., Портенко Н.И., Скороход А.В. Издательство: Наука Год:...

Теория доказательств Название: Теория доказательств Автор: Такеути Г. Издательство: М.: Мир Год: 1978 Формат: PDF Страниц: 412 Размер: 32.9 MB Язык: Русский Книга...

Введение в теорию случайных процессов Название: Введение в теорию случайных процессов Автор: И.И. Гихман, А.В. Скороход Издательство: Наука Год: 1977 Формат: pdf Страниц: 570 Размер:...

Основания теории множеств Название: Основания теории множеств Автор: Френкель А., Бар-Хиллел И. Издательство: Мир Год: 1966 Формат: pdf Страниц: 557 Размер: 58 Mb Язык:...

Теория алгоритмов: основные открытия и приложения Название: Теория алгоритмов: основные открытия и приложения Автор: Успенский В.Д., Семенов А.Л. Издательство: М.: Наука Год: 1987 Серия: Библиотечка...

Лекции по математической логике и теории алгоритмов. В 3 частях Название: Лекции по математической логике и теории алгоритмов. В 3 частях Автор: Н.К. Верещагин, А. Шень Издательство: МЦНМО (Москва) Год: 1999, 2000...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.