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

Logique Lin?aire

Код 1335795

Нет в продаже

Аннотация к книге "Logique Lin?aire"

High Quality Content by WIKIPEDIA articles! La logique lineaire (LL), inventee par le logicien Jean-Yves Girard en 1986, est un produit de la theorie de la demonstration moderne. Elle resulte d'une analyse du comportement des preuves des logiques classique et intuitionniste au travers de la procedure d'elimination des coupures introduite par Gerhard Gentzen en 1936 pour prouver son Hauptsatz (un resultat fondamental en logique). La logique lineaire promeut une vision geometrique des syntaxes...

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

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

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

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