Математическая теория логического вывода
	Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика
		Автор: Идельсон А.В., Минц Г.Е. Издательство: Наука Год издания: 1967 Количество страниц: 351 Язык: русский Формат: DJVU Размер: 4 Мб Каталожный номер: 11723	Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
	Похожие публикации: Математическая логика Элементы теории множеств и математической логики в школьном курсе математик ... Основы дискретной математики Проблема выводного знания в Индии. Логико-эпистемологические воззрения Дигн ... Семантика модальных и интенсиональных логик Философские основания научной теории Работы по теории потенциала Химическая физика и гидродинамика. Избранные труды. Исследования по теории доказательств Дискретная математика и комбинаторика
	Ссылки на файлообменные сервера Размер архива в Mb http://rapidshare.com/files/33769225/Mat_teor_log_vyvoda.rar 3.8
	Оцените эту публикацию!
	0 Опубликовал: flashsoft | 27-05-2007, 00:00 | Просмотров: 1085   Комментарии (0)  Печать