везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Joseph Howse

NummSquared 2006a0 Explained. Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science

Код 921905

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

Нет в продаже

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

Аннотация к книге "NummSquared 2006a0 Explained. Including a New Well-Founded Functional Foundation for Logic, Mathematics and Computer Science"

Set theory is the standard foundation for mathematics, but often lacks rules of reduction for function calls. Thus, for computer science, the untyped lambda calculus or type theory is usually preferred. The untyped lambda calculus and several improvements make functions fundamental, but suffer from non-terminating reductions and have partially non-classical logics. Type theory is a good foundation for logic, math and computer science, yet with both types and functions fundamental, it is more...

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

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

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

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-6390-6324-0
Объём: 300 страниц
Масса: 479 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

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

Пропедевтика детских болезней
Пропедевтика детских болезней бумажная книга
Ангелина...
Нет в продаже
Эта свирепая песня
Эта свирепая песня бумажная книга
Виктория Шваб
Нет в продаже
Искусственный интеллект .Net: речь, язык и поиск
Искусственный интеллект .Net: речь, язык и поиск бумажная книга
Нишит Патак
16.98 USD
В корзину
21 предмет, который Ванга велела в доме иметь
21 предмет, который Ванга велела в доме иметь бумажная книга
Нет в продаже
Жемчужины разработки. Чему мы научились за 50 лет создания ПО
Жемчужины разработки. Чему мы научились за 50... бумажная книга
Карл Вигерс
26.37 USD
В корзину
Архип Куинджи
Архип Куинджи бумажная книга
355.42 USD
В корзину