Исследования по теории доказательств
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Крайзель Г. Издательство: Мир Год издания: 1981 Количество страниц: 288 Язык: русский Формат: DJVU Размер: 3 Мб Каталожный номер: 12108	Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин. Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов
	Похожие публикации: Задачи поиска Машины Тьюринга и рекурсивные функции Элементы теории множеств и математической логики в школьном курсе математик ... Конструктивная теория доказательств и нестандартный анализ Справочник по теории вероятностей и математической статистике Геометрические методы математической физики Справочная книга по математической логике. Часть 4. Теория доказательств Математическая теория логического вывода Математическая логика Дискретная математика и комбинаторика
	Ссылки на файлообменные сервера Размер архива в Mb http://rapidshare.com/files/28603456/Krayzel-Issled_po_teorii_dokazatelsv.rar.html 3
	Оцените эту публикацию!
	0 Опубликовал: mzimakova | 8-06-2007, 00:00 | Просмотров: 1204   Комментарии (0)  Печать