High Quality Content by WIKIPEDIA articles! Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening.The name "affine logic" is associated with linear logic, to which is differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterises linear logic in terms of linear algebra; here he alludes to...
High Quality Content by WIKIPEDIA articles! Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening.The name "affine logic" is associated with linear logic, to which is differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterises linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.The logic predated linear logic. V. N. Grishin used this logic in 1974, after observing that Russell's paradox cannot be derived in a set theory without contraction, even with an unbounded comprehension axiom.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Автор книги - давний исследователь искусственного интеллекта, специализирующийся на обработке естественного языка, революцию в котором сделало глубокое обучение. К сожалению, ему потребовалось много времени, чтобы это понять. Можно сказать, что нейронные сети угрожают революцией уже третий раз, а отнюдь не первый. Тем не менее автор внезапно оказался далеко позади и изо всех сил пытался наверстать...
Издательство:
Вильямс/Диалектика
Дата выхода: февраль 2020
«Грузовик и прицеп едут в командировку» — вторая история про полюбившихся всем малышам героев книги «Это грузовик, а это прицеп» молодой писательницы Анастасии Орловой, победительницы конкурса «Новая детская книга». Грузовик и прицеп снова отправляются в путь! На этот раз они едут в город, в командировку. Впереди длинная дорога, соревнования с джипом, встреча с миленькой розовой машинкой и...
Оставить комментарий