Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elartu.tntu.edu.ua/handle/lib/42730
| Назва: | Теорема про функціональну повноту булевих систем у некласичній двозначній алгебрі логіки |
| Інші назви: | The theorem about functional completeness of bull systems in medium realization of non-classic two digit logic algebra |
| Автори: | Дуда, Олексій Михайлович Дуда, М. Іващук, Д. Duda, O. Duda, M. Ivashchuk, D. |
| Приналежність: | Тернопільський державний технічний університет імені Івана Пулюя |
| Бібліографічний опис: | Дуда О. М. Теорема про функціональну повноту булевих систем у некласичній двозначній алгебрі логіки / Олексій Михайлович Дуда, М. Дуда, Д. Іващук // Вісник ТДТУ. — Т. : ТДТУ, 2000. — Том 5. — № 3. — С. 102–110. — (Математика. математичне моделювання). |
| Bibliographic description: | Duda O., Duda M., Ivashchuk D. (2000) Teorema pro funktsionalnu povnotu bulevykh system u neklasychnii dvoznachnii alhebri lohiky [The theorem about functional completeness of bull systems in medium realization of non-classic two digit logic algebra]. Scientific Journal of TSTU (Tern.), vol. 5, no 3, pp. 102-110 [in Ukrainian]. |
| Є частиною видання: | Вісник Тернопільського державного технічного університету, 3 (5), 2000 Scientific Journal of the Ternopil derzhavnoho Technical University, 3 (5), 2000 |
| Журнал/збірник: | Вісник Тернопільського державного технічного університету |
| Випуск/№ : | 3 |
| Том: | 5 |
| Дата публікації: | 26-вер-2000 |
| Дата подання: | 16 |
| Дата внесення: | 13-лис-2023 |
| Видавництво: | ТДТУ TSTU |
| Місце видання, проведення: | Тернопіль Ternopil |
| УДК: | 681.3.06 |
| Кількість сторінок: | 9 |
| Діапазон сторінок: | 102-110 |
| Початкова сторінка: | 102 |
| Кінцева сторінка: | 110 |
| Короткий огляд (реферат): | У статті доведено теорему про функціональну повноту булевих систем некласичної двозначної алгебри логіки. Ця теорема базується на множині замкнених класів , { 0s T s T1 s S , } s M і формулює не тільки критерій оцінки повноти булевих систем, а й забезпечує однозначну відповідь про кількість ) 25( та перелік простих повних систем у такій алгебрі логіки In this article it has been proved the theorem which is dealing with the functional completeness of bull systems in medium realization of non-classic two-digit logic algebra which is based on the mathematical set of numbers as {T0s, T1s, Ss, Ms} such closed classes. This theorem helps us to formulate the criterion of estimation of the completeness which is dealing with bull systems on the one hand and it gives us the concrete answer about quantity (25) and the enumeration of simple complete systems of two-digit logic algebra on the other hand |
| URI (Уніфікований ідентифікатор ресурсу): | http://elartu.tntu.edu.ua/handle/lib/42730 |
| Власник авторського права: | © Тернопільський державний технічний університет імені Івана Пулюя, 2000 |
| Перелік літератури: | 1. Дуда О.М., Дуда М.О. Змінні та функції в середовищі реалізації двозначної алгебри логіки // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. – Число 1.– С. 62 – 69. 2. Дуда О.М., Дуда М.О., Бубняк М.М. Використання теорії про істотні та фіктивні змінні в булевих і лінійних функціях // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. – Число 2. – С. 5 – 11. 3. Дуда М.О., Дуда О.М. Про доцільність використання в курсі "Дискретна математика" нової теоріїпро функціональну повноту.// Тези другої української науково-методичної конференції "Використання персональних ЕОМ в навчальному процесі вищого навчального закладу" / Львівський університет. - Львів, 1993. — С. 49 - 51. 4. Дуда О.М. Практикум по вивченню електронних таблиць// Тези доповіді студентської наукової конференції, присвяченої 150-річчю з дня народження Івана Пулюя / Природничі та гуманітарні науки. Актуальні проблеми.-Тернопіль, 1995.— С. 190. 5. Яблонский С.В. Введение в дискретную математику: Учебн. пособие для вузов. 2-е изд., перераб. и доп. – М.: Наука. – 384 с. 6. Цейтлін.Г.О. Алгебра логіки та конструювання програм. Елементи дискретної математики. – Київ: Наукова думка, 1994. – 84 с. 7. Глушков В.М., Цейтлин Г.Е., Ющенко Е.А. Алгебра. Языки. Программирование. 3-е изд. (дополненное и переработанное). – Киев: Наук. думка. 1989. – 340 с. 8. Гаврилов Г.П. Функциональные системы дискретной математики: Текст лекций. - М.: Изд-во Моск.ун-та, 1985. - 40 с. |
| References: | 1. 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. 2. 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. 3. Duda M.O., Duda O.M. Pro dotsilnist vykorystannia v kursi "Dyskretna matematyka" novoi teoriipro funktsionalnu povnotu.// Tezy druhoi ukrainskoi naukovo-metodychnoi konferentsii "Vykorystannia personalnykh EOM v navchalnomu protsesi vyshchoho navchalnoho zakladu", Lvivskyi universytet, Lviv, 1993, P. 49 - 51. 4. Duda O.M. Praktykum po vyvchenniu elektronnykh tablyts// Tezy dopovidi studentskoi naukovoi konferentsii, prysviachenoi 150-richchiu z dnia narodzhennia Ivana Puliuia, Pryrodnychi ta humanitarni nauky. Aktualni problemy.-Ternopil, 1995, P. 190. 5. Iablonskii S.V. Vvedenie v diskretnuiu matematiku: Uchebn. posobie dlia vuzov. 2-e izd., pererab. i dop, M., Nauka, 384 p. 6. Tseitlin.H.O. Alhebra lohiky ta konstruiuvannia prohram. Elementy dyskretnoi matematyky, Kyiv: Naukova dumka, 1994, 84 p. 7. Hlushkov V.M., Tseitlin H.E., Iushchenko E.A. Alhebra. Iazyki. Prohrammirovanie. 3-e izd. (dopolnennoe i pererabotannoe), Kiev: Nauk. dumka. 1989, 340 p. 8. Havrilov H.P. Funktsionalnye sistemy diskretnoi matematiki: Tekst lektsii, M., Izd-vo Mosk.un-ta, 1985, 40 p. |
| Тип вмісту: | Article |
| Розташовується у зібраннях: | Вісник ТДТУ, 2000, том 5, № 3 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110.pdf | 1,11 MB | Adobe PDF | Переглянути/відкрити | |
| TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110.djvu | 186,44 kB | DjVu | Переглянути/відкрити | |
| TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110__COVER.png | 329,71 kB | image/png | Переглянути/відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.