везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Frederic P. Miller, Agnes F. Vandome, John McBrewster

Logique Intuitionniste

Код 1336203

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Logique Intuitionniste"

High Quality Content by WIKIPEDIA articles! L'intuitionnisme est une position philosophique vis-a-vis des mathematiques proposee par le mathematicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative a l'approche dite classique. Elle a ete ensuite formalisee, sous le nom de logique intuitionniste, par ses eleves V. Glivenko et Arend Heyting. Kurt Godel a montre que l'on pouvait representer la logique classique dans la logique intuitionniste, corroborant le fait que la logique...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1340-5022-7
Объём: 80 страниц
Масса: 141 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Как работать в рабочее время: Правила победы над офисным хаосом
Как работать в рабочее время: Правила победы... бумажная книга
Сергей Бехтерев
Нет в продаже
Осваиваем Kubernetes. Оркестрация контейнерных архитектур
Осваиваем Kubernetes. Оркестрация контейнерных... бумажная книга
Джиджи Сайфан
Нет в продаже
-10%
Как говорить с детьми о любви и сексе. Бережно направляем ребенка на всех стадиях сексуального развития с первых лет жизни
Как говорить с детьми о любви и сексе. Бережно... бумажная книга
Райса Каччиаторе
8.45 USD 7.61 USD
В корзину
-15%
SQL Server. Наладка и оптимизация для профессионалов
SQL Server. Наладка и оптимизация для... бумажная книга
Дмитрий Короткевич
39 USD 33.15 USD
В корзину
Дальше жить
Дальше жить бумажная книга
Наринэ Юрьевна Абгарян
11.07 USD
В корзину
Объектно-ориентированный Python
Объектно-ориентированный Python бумажная книга
Стивен Ф. Лотт
35.7 USD
В корзину