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

Calcul des S?quents

Код 1336535

Нет в продаже

Аннотация к книге "Calcul des S?quents"

High Quality Content by WIKIPEDIA articles! En logique mathematique et plus precisement en theorie de la demonstration, le calcul des sequents est un systeme de deduction cree par Gerhard Gentzen. Le nom de ce formalisme fait reference a un style particulier de deduction qui manipule des sequents ; le systeme original a ete adapte a diverses logiques, telles que la logique classique, la logique intuitionniste et la logique lineaire. Un sequent est une suite d'hypotheses suivie d'une suite de...

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

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

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

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