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

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



http://tweekalien.rusfolder.net/files/41386836http://dfiles.ru/files/skelmv336

xalienx
0
6 августа 2014
Добавление комментария к книге Исследования по теории доказательств


 
Книги
... Техническая литература
...... Машиностроение
...... Строительство
...... Электротехника и связь
...... Нормативная литература
...... Гидравлика
... Гуманитарная литература
...... Менеджмент
...... Экономика
...... Управление персоналом
...... Маркетинг
...... Бухгалтеру
...... Логистика
... Компьютеры и сети
...... WEB-design
......... WEB дизайн
......... HTML
......... CSS
......... Java Script
......... PHP
......... AJAX
......... ASP.NET
...... Офисные приложения
......... Microsoft Office
...... Языки программирования
......... Assembler
......... С/С++/Visual C
......... С#
......... Delphi
......... Perl
......... Pascal / Turbo Pascal
......... Kylix
......... Fortran
......... Python
......... XML
......... Java
......... Basic / Visual Basic
......... Win32 API
...... Базы данных
......... СУБД
......... SQL / MySQL
......... Oracle
......... ADO.NET
......... Access
......... InterBase
...... Сетевые технологии
......... Cisco
......... Хакерство
......... Компьютерные сети
......... Криптография
......... Компьютерная безопасность
......... IP телефония
...... Операционные системы
......... Windows
......... Linux
......... Unix
......... FreeBSD
......... Symbian OS
......... Mac OS
...... Графика, дизайн, звук
......... Adobe Photoshop
......... Corel Draw
......... OpenGL
......... Flash\flex
......... Pinnacle Studio
......... Adobe Premier
......... 3D Studio MAX
......... Maya
......... Цифровая фотография
......... Sound Forge
...... CAD / CAE
......... Ansys
......... AutoCAD
......... ArchiCAD
......... P-CAD
......... MathCAD, Matlab, Visim
......... SolidWorks
......... КОМПАС
......... OrCad
...... ПК
......... Самоучители
......... BIOS
......... Ремонт и модернизация
......... Интернет
...... Созд. / Продвиж. сайта
... Фундаментальные дисциплины
...... Математика
...... Физика
...... Химия
...... Биология
...... Естествознание
...... Русский язык и литература
...... География
...... Астрономия
... Нехудожественная литература
...... Нумизматика, каталоги
...... Дом. Быт. Досуг
...... Искусство. Живопись
...... Туризм. Фото. Спорт
...... Иностранные языки
...... Религия. Эзотерика
...... Наука. Техника
...... Медицина
...... Исторические
...... Авто
...... Кулинария
...... Вооружение
...... Дизайн
...... Рукоделие
...... Психология, философия
...... Сад / огород
...... Любовь / Sex
...... Музыка
...... Выпивка / Алкоголь
... Детская литература
... Стихи и сказки
... Комиксы
... Раскраски
... Познавательная литература
... Обучение, развитие
... Справочники
... Энциклопедии
... Словари
... Бизнес книги
... Руководства
... English литература
... Платные книги
Журналы
... Технические журналы
... Гуманитарные журналы
... Компьютерные журналы
... Журналы по WEB-design
... Развлекательные журналы
... Детские журналы
Художественные книги
... Аудио книги
... Боевики
... Детективы
... Фантастика | Мистика
... Любовные романы
ВИДЕОУРОКИ
... Платные видеоуроки
Программы для чтения
Генератор RSS-лент
Реклама на сайте
Правила сайта
Яндекс цитирования
Регистрация Забыли пароль?
Электронная библиотека книг
 

Например: Гарри Поттер

      Мы Вконтакте

аудит работоспособности сайта
 
Загрузка. Пожалуйста, подождите...