Меню
Электронные Книги:
Журналы
Аудиокниги
- Фантастика,Фентази
- Любовный роман
- Остросюжетные
- Исусство и культура
- Техника
- Поэзия, стихи
- Детские книги
- Гуманитарные науки
- Здоровье, спорт
- Естественные науки
- Кулинария
- Научно-популярные
- История
- Фотография и видео
- Web-мастеру
- Компьютерная лит-ра
- Программирование
- Профессии
- Бизнес
- Военная тематика
- Аппаратура
- Психология
- Сад ,огород ,хозяйство
- Дом и семья
- Умелые руки
- Строительство, ремонт
- Живопись и рисование
- Дизайн и графика
- Учебные пособия
- Хобби и развлечения
- Эзотерика
- Разное
Журналы
- Развлекательные
- Кулинарные
- Спортивные
- О здоровье
- Рукоделие, сделай сам
- Строительство, дизайн
- Сад и дом
- Автомобили
- Технические
- Компьютеры
- Военные
- Бизнес
- Детям и родителям
- Гуманитарные
- Научно-популярные
- Фотография
Аудиокниги
Самое интересное
Конструктивная теория доказательств и нестандартный анализ
Категория: Учебные пособия
Дата: 16 августа 2012 | Просмотров: 682
Название: Конструктивная теория доказательств и нестандартный анализ
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2003
Страниц: 544
ISBN: 5-354-00388-1
Язык: Русский
Формат: DjVu
Качество: хорошее
Размер: 8 Мб
А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
Уважаемые посетители, если вы хотите скачать Конструктивная теория доказательств и нестандартный анализ и не видите ссылок, то скорее всего наши партнёры(литрес) их не предоставили. Можем предложить купить данное издание.
Книги из категории Учебные пособия:
Основания математики. Теория доказательств В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких ... Читать |
Математическая логика В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и резуль ... Читать |
Дж. Барвайс. Справочная книга по математической логике. В 4-х частях Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика".Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, ... Читать |
Теория рекурсивных функций и эффективная вычислимость Книга дает понятие о современном состоянии теории рекурсивных функций и обзор главных приложений этой теории. В ней показано развитие теории рекурсивных функций, начиная с ее рождения в тридцатых годах и заканчивая результатами исследований последних ... Читать |
Информатика и математика для юристов Освещены основные разделы математики, в том числе математическое моделирование, теория вероятностей и математические методы исследования информации. Показаны роль и место математики и информатики в современном мире, принципы математических рассуждени ... Читать |
Математическая теория логического вывода Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, по ... Читать |
Эрик Дьюбэй - 200 доказательств того, что Земля не вращающийся шар (2018) Эрик Дубэй часто использует цитаты из книг, написанных учеными девятнадцатого века, которые уже давно глубоко изучили эту тему и экспериментально доказали, |
re...
Ты не поверишь!