Меню
Электронные Книги:
Журналы
Аудиокниги
- Фантастика,Фентази
- Любовный роман
- Остросюжетные
- Исусство и культура
- Техника
- Поэзия, стихи
- Детские книги
- Гуманитарные науки
- Здоровье, спорт
- Естественные науки
- Кулинария
- Научно-популярные
- История
- Фотография и видео
- Web-мастеру
- Компьютерная лит-ра
- Программирование
- Профессии
- Бизнес
- Военная тематика
- Аппаратура
- Психология
- Сад ,огород ,хозяйство
- Дом и семья
- Умелые руки
- Строительство, ремонт
- Живопись и рисование
- Дизайн и графика
- Учебные пособия
- Хобби и развлечения
- Эзотерика
- Разное
Журналы
- Развлекательные
- Кулинарные
- Спортивные
- О здоровье
- Рукоделие, сделай сам
- Строительство, дизайн
- Сад и дом
- Автомобили
- Технические
- Компьютеры
- Военные
- Бизнес
- Детям и родителям
- Гуманитарные
- Научно-популярные
- Фотография
Аудиокниги
Самое интересное
Основания математики. Теория доказательств
Категория: Учебные пособия
Дата: 6 февраля 2012 | 
Просмотров: 790 
В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких результатов, точек зрения и идей, безусловно заслуживающих того, чтобы их довести до сведения читателей.
Вы просматриваете информацию о Основания математики. Теория доказательств. На сайте не хранится объектов авторского права, каких-либо файлов или ссылок на файлообменники.
Книги из категории Учебные пособия:
 |
Конструктивная теория доказательств и нестандартный анализ А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистск ... Читать |
 |
Теория функций комплексного переменного В книге дается сжатое изложение элементов теории аналитических функций. Она может быть полезной для студентов физико-математических факультетов факультетов, а также для лиц, которые, не будучи специалистами по теории функций, интересуются этим разде ... Читать |
 |
Теория рекурсивных функций и эффективная вычислимость Книга дает понятие о современном состоянии теории рекурсивных функций и обзор главных приложений этой теории. В ней показано развитие теории рекурсивных функций, начиная с ее рождения в тридцатых годах и заканчивая результатами исследований последних ... Читать |
 |
Теория рассеяния для автоморфных функций Авторы, известные американские математики, знакомы нашим читателям по переводу их монографии "Теория рассеяния" (М.: Мир, 1971). в своей новой книге они сумели взглянуть на классические проблемы теории групп с точки зрения специалистов по теории опе ... Читать |
 |
Вентцель Е.С., Овчаров Л.А.. Теория вероятностей и ее инженерные приложения В книге дается систематическое изложение основ теории вероятностей под углом зрения их практических приложений по специальностям: кибернетика, прикладная математика, автоматизированные системы управления, теория механизмов, радиотехника, теория надеж ... Читать |
 |
Программирование. Математические основы, средства, теория Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее матема ... Читать |
 |
Арифметика алгебраических кривых Дается систематическое изложение современною состояния, а также основных идей и методов одного из древнейших разделов математики — теории диофантовых уравнений, Основное внимание уделено рассмотрению наиболее изученного к настоящему времени случая — ... Читать |
Кабинет
Ты не поверишь!