1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
  2. Вісник ТНТУ
  3. 2003
  4. Вісник ТДТУ, 2003, том 8, № 2
Defnyddiwch y dynodwr hwn i ddyfynnu neu i gysylltu â'r eitem hon: http://elartu.tntu.edu.ua/handle/lib/33713

Teitl: Некласична двозначна алгебра логіки. Теорема про функціональну повноту булевих систем
Teitlau Eraill: Non-classic two-digit logic’s algebra. The theorem about functional completeness of Bull’s systems
Awduron: Дуда, О.
Дуда, М.
Duda, O.
Duda, M.
Affiliation: Тернопільський державний технічний університет імені Івана Пулюя
Тернопільська академія народного господарства
Bibliographic description (Ukraine): Дуда О. Некласична двозначна алгебра логіки. Теорема про функціональну повноту булевих систем / Дуда О., Дуда М. // Вісник ТДТУ. — Т. : ТНТУ, 2003. — Том 8. — № 2. — С. 117–126. — (Математичне моделювання. Математика. Фізика).
Bibliographic description (International): 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].
Is part of: Вісник Тернопільського національного технічного університету, 2 (8), 2003
Scientific Journal of the Ternopil National Technical University, 2 (8), 2003
Journal/Collection: Вісник Тернопільського національного технічного університету
Issue: 2
Volume: 8
Dyddiad Cyhoeddi: 2003
Submitted date: 27-Sep-2002
Date of entry: 29-Dec-2020
Cyhoeddwr: ТНТУ
TNTU
Place of the edition/event: Тернопіль
Ternopil
UDC: 681.3.06
Number of pages: 10
Page range: 117-126
Start page: 117
End page: 126
Crynodeb: В некласичній двозначній алгебрі логіки (двозначній алгебрі логіки з урахуванням середовища реа-лізації) доведено теорему про функціональну повноту (теорему про необхідні і достатні умови функціо-нальної повноти) булевих систем, що базується на множині замкнених класів , , . Ця теорема формулює не тільки критерій оцінки повноти булевих систем, а й забезпечує однозначну відпо-відь про кількість та перелік простих повних систем в такій алгебрі логіки.
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
Copyright owner: © Тернопільський національний технічний університет імені Івана Пулюя
References (Ukraine): 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 (International): 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.
Content type: Article
Ymddengys yng Nghasgliadau:Вісник ТДТУ, 2003, том 8, № 2

Ffeiliau yn yr Eitem Hon:
Ffeil Disgrifiad MaintFformat 
TSTUSJ_2003v8n2_Duda_O-Non_classic_two_digit_logics_117-126.pdf245,82 kBAdobe PDFGweld/Agor
TSTUSJ_2003v8n2_Duda_O-Non_classic_two_digit_logics_117-126.djvu153,25 kBDjVuGweld/Agor
TSTUSJ_2003v8n2_Duda_O-Non_classic_two_digit_logics_117-126__COVER.png416,62 kBimage/pngGweld/Agor
Dangos cofnod eitem llawn


Diogelir eitemau yn DSpace gan hawlfraint, a chedwir pob hawl, onibai y nodir fel arall.