Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://elartu.tntu.edu.ua/handle/lib/33713

Назва: Некласична двозначна алгебра логіки. Теорема про функціональну повноту булевих систем
Інші назви: Non-classic two-digit logic’s algebra. The theorem about functional completeness of Bull’s systems
Автори: Дуда, О.
Дуда, М.
Duda, O.
Duda, M.
Приналежність: Тернопільський державний технічний університет імені Івана Пулюя
Тернопільська академія народного господарства
Бібліографічний опис: Дуда О. Некласична двозначна алгебра логіки. Теорема про функціональну повноту булевих систем / Дуда О., Дуда М. // Вісник ТДТУ. — Т. : ТНТУ, 2003. — Том 8. — № 2. — С. 117–126. — (Математичне моделювання. Математика. Фізика).
Bibliographic description: Duda O., Duda M. (2003) Neklasychna dvoznachna alhebra lohiky. Teorema pro funktsionalnu povnotu bulevykh system [Non-classic two-digit logic’s algebra. The theorem about functional completeness of Bull’s systems]. Scientific Journal of TSTU (Tern.), vol. 8, no 2, pp. 117-126 [in Ukrainian].
Є частиною видання: Вісник Тернопільського національного технічного університету, 2 (8), 2003
Scientific Journal of the Ternopil National Technical University, 2 (8), 2003
Журнал/збірник: Вісник Тернопільського національного технічного університету
Випуск/№ : 2
Том: 8
Дата публікації: 2003
Дата подання: 27-вер-2002
Дата внесення: 29-гру-2020
Видавництво: ТНТУ
TNTU
Місце видання, проведення: Тернопіль
Ternopil
УДК: 681.3.06
Кількість сторінок: 10
Діапазон сторінок: 117-126
Початкова сторінка: 117
Кінцева сторінка: 126
Короткий огляд (реферат): В некласичній двозначній алгебрі логіки (двозначній алгебрі логіки з урахуванням середовища реа-лізації) доведено теорему про функціональну повноту (теорему про необхідні і достатні умови функціо-нальної повноти) булевих систем, що базується на множині замкнених класів , , . Ця теорема формулює не тільки критерій оцінки повноти булевих систем, а й забезпечує однозначну відпо-відь про кількість та перелік простих повних систем в такій алгебрі логіки.
In non-classic two-digit logics algebra (two-digit logics algebra concernin realization medium) the theorem about functional completeness (theorem about necessary and sufficient conditions of functional completeness) of Bull’s systems based on set of clossed-end classes , , defines not only the assessment criterion for these systems’ completeness but also provides exact answer about number and list of simple complete systems in such logics algebra. These results are adequate to usage results in non-classic two-digit logics algebra of the theorem about functional ccompleteness based on set of closed-end classes , , , and theorem about functional ccompleteness based on set of closed-end classes , , .
URI (Уніфікований ідентифікатор ресурсу): http://elartu.tntu.edu.ua/handle/lib/33713
ISSN: 1727-7108
Власник авторського права: © Тернопільський національний технічний університет імені Івана Пулюя
Перелік літератури: 1. Дуда М.О., Дуда О.М. Про доцільність використання в курсі "Дискретна математика" нової теорії про функціональну повноту // Тези другої української науково-методичної конференції "Викорис-тання персональних ЕОМ в навчальному процесі вищого навчального закладу" / Львівський універ-ситет. - Львів, 1993. – С. 49—51.
2. Дуда О.М. Практикум по вивченню електронних таблиць // Тези доповіді студентської наукової конференції, присвяченої 150-річчю з дня народження Івана Пулюя / Природничі та гуманітарні нау-ки. Актуальні проблеми. - Тернопіль, 1995. – С. 190.
3. Дуда М.О., Дуда О.М. Нетрадиційні підходи. Проблемна стаття. Проблема - сенсація! Дослідження причини неправильності однієї з головних теорем двозначної алгебри логіки – теореми Поста-Кузнєцова-Яблонського про функціональну повноту // Вісник Тернопільської академії народного го-сподарства. - 2000. – Випуск 10. – С. 15—23.
4. Дуда О.М., Дуда М.О. Змінні та функції в середовищі реалізації двозначної алгебри логіки // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. - Число 1. – С. 62—69.
5. Дуда О.М., Дуда М.О., Бубняк М.М. Використання теорії про істотні та фіктивні змінні в булевих і лінійних функціях // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. - Число 2. – С. 5—11.
6. Дуда О.М., Дуда М.О., Карпінський М.П. Елементарні функції у некласичній двозначній алгебрі ло-гіки // Науковий вісник Чернівецького університету: Збірник наук. праць. Вип. 92: Фізика. Електро-ніка. – Чернівці: ЧНУ, 2000. – С. 101—108.
7. Дуда О.М., Дуда М.О., Чірка М.І., Ніконенко В.В. Визначення множини замкнених класів, що доста-тня для повної характеристики елементарних функцій в некласичній двозначній алгебрі логіки // Ав-томатика. Автоматизация. Электротехнические комплексы и системы. - 2000. - №1 (6). - С. 80—90.
8. Дуда О.М. Визначення мінімальної множини замкнених класів, достатньої для повної характеристи-ки елементарних функцій в некласичній двозначній алгебрі логіки // Вісник Тернопільського держа-вного технічного університету імені Івана Пулюя. - 2001. – Том 6. - №2. – С. 123—132.
9. Дуда О.М., Дуда М.О., Іващук Д.В. Теорема про функціональну повноту булевих систем у некласич-ній двозначній алгебрі логіки // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 2000. – Том 5. - №3. – С. 102—110.
10. Дуда О.М. Теорема про необхідні і достатні умови функціональної повноти булевих систем в некла-сичній двозначній алгебрі логіки // Автоматика. Автоматизация. Электротехнические комплексы и системы. - 2001. - №1 (8). - С. 43—52.
11. Дуда О.М. Визначення множини замкнених класів, достатньої для повної характеристики кожної елементарної функції у некласичній двозначній алгебрі логіки // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 2001. – Том 6. - №4. – С. 117—127.
References: 1. Duda M.O., Duda O.M. Pro dotsilnist vykorystannia v kursi "Dyskretna matematyka" novoi teorii pro funktsionalnu povnotu, Tezy druhoi ukrainskoi naukovo-metodychnoi konferentsii "Vykorys-tannia personalnykh EOM v navchalnomu protsesi vyshchoho navchalnoho zakladu", Lvivskyi univer-sytet, Lviv, 1993, P. 49-51.
2. Duda O.M. Praktykum po vyvchenniu elektronnykh tablyts, Tezy dopovidi studentskoi naukovoi konferentsii, prysviachenoi 150-richchiu z dnia narodzhennia Ivana Puliuia, Pryrodnychi ta humanitarni nau-ky. Aktualni problemy, Ternopil, 1995, P. 190.
3. Duda M.O., Duda O.M. Netradytsiini pidkhody. Problemna stattia. Problema - sensatsiia! Doslidzhennia prychyny nepravylnosti odniiei z holovnykh teorem dvoznachnoi alhebry lohiky – teoremy Posta-Kuznietsova-Yablonskoho pro funktsionalnu povnotu, Visnyk Ternopilskoi akademii narodnoho ho-spodarstva, 2000, Issue 10, P. 15-23.
4. Duda O.M., Duda M.O. Zminni ta funktsii v seredovyshchi realizatsii dvoznachnoi alhebry lohiky, Visnyk Ternopilskoho derzhavnoho tekhnichnoho universytetu imeni Ivana Puliuia, 1999, V. 4, Chyslo 1, P. 62-69.
5. Duda O.M., Duda M.O., Bubniak M.M. Vykorystannia teorii pro istotni ta fiktyvni zminni v bulevykh i liniinykh funktsiiakh, Visnyk Ternopilskoho derzhavnoho tekhnichnoho universytetu imeni Ivana Puliuia, 1999, V. 4, Chyslo 2, P. 5-11.
6. Duda O.M., Duda M.O., Karpinskyi M.P. Elementarni funktsii u neklasychnii dvoznachnii alhebri lo-hiky, Naukovyi visnyk Chernivetskoho universytetu: Zbirnyk nauk. prats. Iss. 92: Fizyka. Elektro-nika, Chernivtsi: ChNU, 2000, P. 101-108.
7. Duda O.M., Duda M.O., Chirka M.I., Nikonenko V.V. Vyznachennia mnozhyny zamknenykh klasiv, shcho dosta-tnia dlia povnoi kharakterystyky elementarnykh funktsii v neklasychnii dvoznachnii alhebri lohiky, Av-tomatyka. Avtomatyzatsyia. Elektrotekhnycheskye kompleksy y systemy, 2000, No 1 (6), P. 80-90.
8. Duda O.M. Vyznachennia minimalnoi mnozhyny zamknenykh klasiv, dostatnoi dlia povnoi kharakterysty-ky elementarnykh funktsii v neklasychnii dvoznachnii alhebri lohiky, Visnyk Ternopilskoho derzha-vnoho tekhnichnoho universytetu imeni Ivana Puliuia, 2001, V. 6, No 2, P. 123-132.
9. Duda O.M., Duda M.O., Ivashchuk D.V. Teorema pro funktsionalnu povnotu bulevykh system u neklasych-nii dvoznachnii alhebri lohiky, Visnyk Ternopilskoho derzhavnoho tekhnichnoho universytetu imeni Ivana Puliuia, 2000, V. 5, No 3, P. 102-110.
10. Duda O.M. Teorema pro neobkhidni i dostatni umovy funktsionalnoi povnoty bulevykh system v nekla-sychnii dvoznachnii alhebri lohiky, Avtomatyka. Avtomatyzatsyia. Elektrotekhnycheskye kompleksy y systemy, 2001, No 1 (8), P. 43-52.
11. Duda O.M. Vyznachennia mnozhyny zamknenykh klasiv, dostatnoi dlia povnoi kharakterystyky kozhnoi elementarnoi funktsii u neklasychnii dvoznachnii alhebri lohiky, Visnyk Ternopilskoho derzhavnoho tekhnichnoho universytetu imeni Ivana Puliuia, 2001, V. 6, No 4, P. 117-127.
Тип вмісту: Article
Розташовується у зібраннях:Вісник ТДТУ, 2003, том 8, № 2



Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.