Бесплатная библиотека - 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 оценок
Формат: Книга
Уже скачали: 12795 раз

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

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

  • Журнал Allure №4 2014

    Allure №4 2014

    Название: AllureИздательство: Conde NastГод выхода: 2014Номер: 4Страниц: 198Формат: PDFКачество: ВысокоеЯзык: РусскийРазмер: 159 МбAllure - легендарный журнал о красоте. Для Allure работают лучшие п . . .

  • Журнал GQ №4 2014 Россия

    GQ №4 2014 Россия

    Название: GQИздательство: Conde NastГод выхода: 2014Номер: 4Страниц: 222Формат: PDFКачество: ВысокоеЯзык: РусскийРазмер: 179 МбGQ - это уникальный формат мужского журнала, сочетающий в себе наивысши . . .

  • Книга Хранитель знаний

    Хранитель знаний

    Название: Хранитель знанийАвтор: Черников ВикторИздательство: Мультимедийное издательство СтрельбицкогоГод: 2013Формат: fb2Страниц: 128Размер: 1.4 мбКачество: хорошееЯзык: русскийВ книге описана ле . . .

  • Журнал Home №42 2012-2013

    Home №42 2012-2013

    Название: HomeНомер: 42Год/месяц издания: Декабрь 2012-Январь 2013Язык: EnglishКоличество страниц: 180Формат: PDFРазмер: 84 MbФранцузский журнал Home - новые идеи по оформлению интерьера дома и кварт . . .

  • Журнал Panzer Aces №45 (EuroModelismo)

    Panzer Aces №45 (EuroModelismo)

    Название: Panzer AcesИздательство: Accion PressГод издания: 2014Язык: EnglishКоличество страниц: 68Формат: PDF (e-book)Размер: 38,8 MBЖурнал для любителей стендового моделизмаСкачать:uploadeddeposit . . .

  • Аудиокнига Emil and the Detectives (Penguin Readers, Level 3)

    Emil and the Detectives (Penguin Readers, Level 3)

    Автор: Erich KastnerНазвание: Emil and the Detectives (Penguin Readers, Level 3), 2nd editionИздательство: PenguinГод: 2008Формат: PDF, MP3 128 KbpsРазмер: 80 MbЯзык: АнглийскийBook with audio, work . . .

  • Журнал Luftwaffe Eagles (FlyPast Special)

    Luftwaffe Eagles (FlyPast Special)

    Название: Luftwaffe EaglesИздательство: Key PublishingСерия: FlyPast SpecialГод издания: 2014Язык: EnglishКоличество страниц: 100Формат: PDF (e-book)Размер: 46,2 MBFrom the invasion of Poland in Sep . . .

  • Журнал Готовим с 1001 совет и секрет №3 2014. Легкие блюда для красивой фигуры

    Готовим с 1001 совет и секрет №3 2014. Легкие блюда для красивой фигуры

    Название: Готовим с 1001 совет и секретИздательство: ФЛ, г.ДзержинскГод: 2014Номер:3Формат: DjVuЯзык: русскийРазмер файла: 11.22 МбСтраниц: 36Если вы ищете блюда, которые помогут вам в потере веса, . . .

  • Аудиокнига Island for Sale (Penguin Active Readers, Level 1)

    Island for Sale (Penguin Active Readers, Level 1)

    Автор: Anne CollinsНазвание: Island for Sale (Penguin Active Readers, Level 1)Издательство: Pearson Education ESLГод: 2007Формат: PDF, MP3 128 KbpsРазмер: 17 MbЯзык: АнглийскийBook with audio; activ . . .

  • Аудиокнига Tears of the Giraffe (Penguin Readers, Level 4)

    Tears of the Giraffe (Penguin Readers, Level 4)

    Автор: Alexander McCall SmithНазвание: Tears of the Giraffe (Penguin Readers, Level 4)Издательство: PenguinГод: 2012Формат: PDF, MP3 128 KbpsРазмер: 137.8 MbЯзык: АнглийскийBook with audio, activity . . .

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

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

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

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

Ой!

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