Подписывайтесь на наш Telegram-канал! Ежедневно интересно!

Подписывайтесь на наш Telegram-канал!

Помочь нашему сайту финансово на сервисе сбора донатов!

Помочь нашему сайту финансово!
 
Текущий раздел Скачать бесплатно » Облако тегов » теория доказательств
HostLife - лучший платный хостинг

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

Автор: xalienx от 2014-08-05, 23:10:07
  • 0
Исследования по теории доказательствНазвание : Исследования по теории доказательств
Автор: Крайзель Г.
Издательство: Мир
Язык: русский
Год: 1981
Формат: djvu
Размер: 3 Мб
Страниц: 288

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

HostLife - лучший платный хостинг
HostLife - лучший платный хостинг!
Отличный хостинг по цене от 1.87$/месяц! Рекомендация от сайта Bookskeeper!


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел Скачать бесплатно » Облако тегов » теория доказательств

Наша электронная библиотека Bookskeeper (для РФ работает через VPN) - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников. В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.
 
 
Поддержите наш сайт!
Идет сбор донатов на хостинг
для работы нашего сайта.
Сканируйте QR-код
(или нажмите на него)
для Вашей поддержки!
Оплата картой, ЮMoney


Донаты для помощи нашему сайту!

ОГРОМНОЕ СПАСИБО
всем за Ваши донаты!

Наши рекомендации


Садовые печи-барбекю от компании Династия


Book24.ru - книжный интернет магазин



Turbobit - Получите турбо-доступ и скачивайте безлимитно и без рекламы!


HostLife - лучший платный хостинг