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

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

Bottom Type

Код 965618

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

Нет в продаже

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

Аннотация к книге "Bottom Type"

High Quality Content by WIKIPEDIA articles! In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is sometimes denoted with falsum (?). A function whose return type is bottom cannot return any value. In the Curry–Howard correspondence, the bottom type corresponds to falsity. The bottom type is a subtype of all types. It is used to represent the return type of a function that does not return a value: for...

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

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

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

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

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

Японские свечи. Графический анализ финансовых рынков
Японские свечи. Графический анализ финансовых... бумажная книга
Стив Нисон
Нет в продаже
-10%
Программирование на Perl, 4-е издание
Программирование на Perl, 4-е издание бумажная книга
Том Кристиансен
41.3 USD 37.17 USD
20 На складе
В корзину
Всего шесть чисел: Главные силы, формирующие Вселенную
Всего шесть чисел: Главные силы, формирующие... бумажная книга
Мартин Рис
Нет в продаже
Исключительные
Исключительные бумажная книга
Мег Вулицер
14.09 USD
В корзину
Новый курс лекций по препаратам Тяньши
Новый курс лекций по препаратам Тяньши бумажная книга
Фарида Равильевна...
Нет в продаже
Арифметика денег. Мудрость Вселенной в 52-х древних символах
Арифметика денег. Мудрость Вселенной в 52-х... бумажная книга
Лариса Джумайло
Нет в продаже