510.6 Ч-57 Чечулин, В. Л. Моделирование логических схем посредством теории множеств / В. Л. Чечулин> // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2012. - Вып. 1 (9). - С. 19-21. - Библиогр.: с. 23 (2 назв.)
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теории множеств с самопринадлежностью -- логика высказываний -- лямбда-вычисления -- логические схемы -- теорема исключения третьего -- двузначная логика Аннотация: На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредством теории множеств, использующий модель двузначной логики; из этих теорем о непротиворечивости следует непротиворечивость моделей логических схем. |