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


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

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

Сборник работ крупного американского специалиста по математической логике и основаниям математики. В нем дается обзор основных результатов математической теории доказательств и ее методов. Уделяется место происхождению методов теории доказательств и обоснованию интереса к рассматриваемой проблематике. В частности, описываются приложения к реальному синтезу программ для вычислительных машин.
Сборник представляет интерес как для читателей с минимальной подготовкой в области математической логики, так и для специалистов, которые могут ознакомиться с доказательствами новых глубоких результатов.
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-лент
Реклама на сайте
Правила сайта

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12799 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Майн Рид в 94 произведениях

    Майн Рид в 94 произведениях

    Название: Майн Рид Автор: Майн Рид Издательство: разные Год издания: 1880-2014 Язык: русский Формат: fb2 Размер: 67.17 Мб Томас Майн Рид (1818-1883) - английский писатель, автор приключенческих романо . . .

  • Книга Жизнь в стиле ЭКО

    Жизнь в стиле ЭКО

    Название: Жизнь в стиле ЭКО Автор: Александр Коновалов Издательство: Альпина Паблишер Год: 2011 Страниц: 128 Язык: русский Формат: djvu Размер: 17.1 Мб О том, как построить экоферму и начать жить в ст . . .

  • Книга О. Л. Голубева - Основы композиции (с иллюстрациями)

    О. Л. Голубева - Основы композиции (с иллюстрациями)

    Автор: О. Л. Голубева Издательство: Изобразительное искусство, Сварог и К ISBN:5-85200-045-0 Язык: Русский Формат: FB2+PDF+RTF Качество: Изначально компьютерное (eBook) + сканированные страницы Количе . . .

  • Книга Алые паруса. Романы Николь Фосселер в 5 книгах

    Алые паруса. Романы Николь Фосселер в 5 книгах

    Название: Алые паруса. Романы Николь Фосселер Автор: Николь Фосселер Серия: Алые паруса. Романы Николь Фосселер Издательство: Эксмо Год издания: 2013-2014 Язык: русский Формат: fb2, rtf Размер: 10.21 . . .

  • Книга Лекарство от скуки (228 томов)

    Лекарство от скуки (228 томов)

    Название: Лекарство от скуки (228 томов) Год выпуска: 2001 - 2013 Издательство: "Иностранка" Автор: Разные Жанр: Детектив, триллер Язык: Русский Страниц: Много Качество: Хорошее Формат: FB2 Размер . . .

  • Книга Замок Чудес в 95 книгах

    Замок Чудес в 95 книгах

    Название: Замок Чудес Автор: разные Серия: Замок Чудес Издательство: Альфа-книга Год издания: 1994-2003 Язык: русский Формат: fb2 Размер: 120.52 Мб Серия Замок Чудес основана в 1994 году. Серия увлека . . .

  • Книга Галантные чувства. Романы Э. Бронтэ в 12 томах

    Галантные чувства. Романы Э. Бронтэ в 12 томах

    Название: Галантные чувства. Романы Э. Бронтэ Автор: Элен Бронтэ Серия: Галантные чувства. Романы Э. Бронтэ Издательство: Эксмо Год издания: 2010-2013 Язык: русский Формат: fb2 Размер: 11.39 Мб Галант . . .

  • Книга Баклажаны, кабачки. Лучшие рецепты

    Баклажаны, кабачки. Лучшие рецепты

    Название: Баклажаны, кабачки. Лучшие рецепты Автор: Ирина Трущ Издательство: Мир книги Год: 2011 Страниц: 30 Язык: Русский Формат: pdf, doc / rar Размер: 11,77 Mb Кто не любит баклажаны и кабачки! Он . . .

  • Книга Вязание для вас № 7 2014

    Вязание для вас № 7 2014

    Название: Вязание для вас Автор: коллектив Год/месяц: 2014 Номер: 7 Формат: jpg Страниц: 19 Размер: 19 Мб Язык: русский "Вязание для вас" - журнал по вязанию на спицах и крючком. В журнале представле . . .

  • Журнал Мебель & интерьер №3 2013

    Мебель & интерьер №3 2013

    Название: Мебель & интерьер Автор: коллектив Издательство: ООО "ВИК-Медиа" Год / месяц: 2013 / март Номер: 3 (117) Формат: pdf Страниц: 100 Качество: хорошее Язык: русский Размер: 51,83 Мб Издание, фо . . .


Вы не зарегистрированы!

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

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Исследования по теории доказательств. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.