Моделирование логических схем посредством теории множеств

Автор: Чечулин Виктор Львович

Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi

Статья в выпуске: 1 (9), 2012 года.

Бесплатный доступ

На основании известных теорем о непротиворечивости лямбда-исчисления, доказанных в семантике самопринадлежности, описан способ моделирования логических схем посредст- вом теории множеств, использующий модель двузначной логики; из этих теорем о непро- тиворечивости следует непротиворечивость моделей логических схем.

Теория множеств с самопринадлежностью, модели и непротиворечивость лямбда-исчисления, модели логических схем, логические функции, непротиворечивость моделей логических схем

Короткий адрес: https://sciup.org/14729765

IDR: 14729765

Список литературы Моделирование логических схем посредством теории множеств

Чечулин В.Л. Теория множеств с самопринадлежностью (основания и некоторые приложения): монография. Пермь, 2010. 100 с. URL: http://elibrary.ru/item.asp?id=15267103
Чечулин В.Л. О приложениях семантики самопринадлежности//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2009. Вып. 3 (29). С.10-17.
Чечулин В.Л. Об одном варианте модельной области лямбда-исчисления//Синтаксис и семантика логических систем. Иркутск, 2010. С.112-114.
Чечулин В.Л. О непротиворечивости лямбда-исчисления//В мире научных открытий. Сер. Математика. Механика. Информатика. 2011. №1. С. 203-206.
Потемкин И.С. Функциональные узлы цифровой автоматики. М., 1988. 320 с. URL: http://www.nkras.ru/articles/2011/1/vypusk12011pdf
Chechulin V.L. About the selfconsidering semantic in the mathematical logic//Bull. Symbolic Logic. Vol.16, Is. 1(2010). P.111-112.

Статья научная