The logic schemes models in the set theory
Автор: Chechulin V.L.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Математика
Статья в выпуске: 1 (9), 2012 года.
Бесплатный доступ
Based on known results on the consistency lambda calculus, proved in the semantics of selfconsidering, describes a method of modeling logic circuits through the theory of sets, using the model of two-valued logic; of these theorems on the consistency should be the consistency of models of logic circuits.
Set theory with self selfconsidering, model and the consistency of the lambda calculus, models of logic circuits, logical functions, the consistency of models of logic circuits
Короткий адрес: https://sciup.org/14729765
IDR: 14729765
Статья научная
