Бесплатная библиотека - 1 338 003 изданий в библиотеке

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

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

Автор: Крайзель Г.
Год издания: 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 оценок
Формат: Книга
Уже скачали: 12793 раз

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

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

  • Книга Слово и судьба

    Слово и судьба

    Автор:М. ВеллерНазвание: Слово и судьбаИздательство: АСТ, АСТ Москва, ХарвестГод: 2008Формат: rtf, fb2Размер: 15,95 МбЭта книга включает в себя "роман-инструкцию" о писательской судьбе и профессии, о . . .

  • Книга Советская инженерная машина разграждения ИМР-2

    Советская инженерная машина разграждения ИМР-2

    Советская инженерная машина разграждения ИМР-2Бронетехника: ФотоальбомРедакция: HistoryarmИздательсво: СамиздатАвтор снимков: Carrey Количество: 66 Разрешение: 1280х960х24бит jpeg Размер: 51 MbИМР-2 — . . .

  • Книга Уйти, чтобы вернуться. Исповедь попаданца

    Уйти, чтобы вернуться. Исповедь попаданца

    Название: Уйти, чтобы вернуться. Исповедь попаданцаАвтор: Борискин АлександрИздательство: СамиздатГод: 2013Страниц: 264Формат: rtf, fb2Размер: 11,37 мбКачество: хорошееЯзык: русскийОтмотать 52 года на . . .

  • Книга Служим отчизне

    Служим отчизне

    Название: Служим отчизнеАвтор: Чистяков И.М. Издательство: ВоениздатГод: 1975Серия: Военные мемуарыСтраниц: 318Формат: pdfРазмер: 12 МбКачество: хорошееЯзык: русскийЗа плечами Героя Советского Союза г . . .

  • Книга Соцгород. Проблемы строительства социалистических городов

    Соцгород. Проблемы строительства социалистических городов

    Автор: Милютин Н.А.Название: Соцгород. Проблема строительства социалистических городовИздательство: Москва-Ленинград: Государственное издательствоГод: 1930Страниц: 90Формат: PDFРазмер: 36.51 МбКнига о . . .

  • Книга Самый страшный злодей и другие сюжеты

    Самый страшный злодей и другие сюжеты

    Автор:Борис АкунинНазвание: Самый страшный злодей и другие сюжетыИздательство: АСТГод: 2013Формат: rtf, fb2Размер: 26,74 Мб"Самый страшный злодей и другие сюжеты" - это сборник исторических миниатюр, . . .

  • Книга Операция «Невеста»

    Операция «Невеста»

    Название: Операция «Невеста»Автор: Галина РомановаИздательство: Альфа-книгаГод: 2013Формат: RTF, FB2Размер: 10,26 МбКачество: ХорошееЯзык: РусскийВот жизнь настала! Не дают бедному некроманту спокойно . . .

  • Журнал Арсенал-Коллекция №6 2012

    Арсенал-Коллекция №6 2012

    Название: Арсенал-КоллекцияГод / месяц: 2012 / 12Номер: 6Формат: pdfРазмер: 111 мбАрсенал-Коллекция - ежемесячный военно-исторический журнал. Страницы разбиты примерно поровну на три блока - сухопутн . . .

  • Журнал Монеты и Банкноты №-66

    Монеты и Банкноты №-66

    Название: Монеты и Банкноты №-66Год выпуска: 2013Номер: 66Издательство: Де АгостиниISNN: 2225-174ХФормат: PDFРазмер: 53.8 MbКачество: Отсканированные страницы, OCR, хорошееКоличество страниц: 16Язык: . . .

  • Аудиокнига Образ Жизни №7 2013

    Образ Жизни №7 2013

    Автор:Коллектив Название: Образ Жизни №7 2013Издательство: Компания ПрезентГод: 2013Формат: JPGРазмер: 58МВСтраниц:112Язык:РусскийГлавная тема: Животные страсти! Очень полезый журнал и интересный журн . . .

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

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

Войти Регистрация

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

Ой!

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