1. ELARTU — Інституційний репозитарій ТНТУ імені Івана Пулюя
  2. Вісник ТНТУ
  3. 2000
  4. Вісник ТДТУ, 2000, том 5, № 3
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://elartu.tntu.edu.ua/handle/lib/42730

Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorДуда, Олексій Михайлович
dc.contributor.authorДуда, М.
dc.contributor.authorІващук, Д.
dc.contributor.authorDuda, O.
dc.contributor.authorDuda, M.
dc.contributor.authorIvashchuk, D.
dc.date.accessioned2023-11-13T08:18:55Z-
dc.date.available2023-11-13T08:18:55Z-
dc.date.created2000-09-26
dc.date.issued2000-09-26
dc.date.submitted16.05.2000 р.
dc.identifier.citationДуда О. М. Теорема про функціональну повноту булевих систем у некласичній двозначній алгебрі логіки / Олексій Михайлович Дуда, М. Дуда, Д. Іващук // Вісник ТДТУ. — Т. : ТДТУ, 2000. — Том 5. — № 3. — С. 102–110. — (Математика. математичне моделювання).
dc.identifier.urihttp://elartu.tntu.edu.ua/handle/lib/42730-
dc.description.abstractУ статті доведено теорему про функціональну повноту булевих систем некласичної двозначної алгебри логіки. Ця теорема базується на множині замкнених класів , { 0s T s T1 s S , } s M і формулює не тільки критерій оцінки повноти булевих систем, а й забезпечує однозначну відповідь про кількість ) 25( та перелік простих повних систем у такій алгебрі логіки
dc.description.abstractIn 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
dc.format.extent102-110
dc.language.isouk
dc.publisherТДТУ
dc.publisherTSTU
dc.relation.ispartofВісник Тернопільського державного технічного університету, 3 (5), 2000
dc.relation.ispartofScientific Journal of the Ternopil derzhavnoho Technical University, 3 (5), 2000
dc.titleТеорема про функціональну повноту булевих систем у некласичній двозначній алгебрі логіки
dc.title.alternativeThe theorem about functional completeness of bull systems in medium realization of non-classic two digit logic algebra
dc.typeArticle
dc.rights.holder© Тернопільський державний технічний університет імені Івана Пулюя, 2000
dc.coverage.placenameТернопіль
dc.coverage.placenameTernopil
dc.format.pages9
dc.subject.udc681.3.06
dc.relation.references1. Дуда О.М., Дуда М.О. Змінні та функції в середовищі реалізації двозначної алгебри логіки // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. – Число 1.– С. 62 – 69.
dc.relation.references2. Дуда О.М., Дуда М.О., Бубняк М.М. Використання теорії про істотні та фіктивні змінні в булевих і лінійних функціях // Вісник Тернопільського державного технічного університету імені Івана Пулюя. - 1999. – Том 4. – Число 2. – С. 5 – 11.
dc.relation.references3. Дуда М.О., Дуда О.М. Про доцільність використання в курсі "Дискретна математика" нової теоріїпро функціональну повноту.// Тези другої української науково-методичної конференції "Використання персональних ЕОМ в навчальному процесі вищого навчального закладу" / Львівський університет. - Львів, 1993. — С. 49 - 51.
dc.relation.references4. Дуда О.М. Практикум по вивченню електронних таблиць// Тези доповіді студентської наукової конференції, присвяченої 150-річчю з дня народження Івана Пулюя / Природничі та гуманітарні науки. Актуальні проблеми.-Тернопіль, 1995.— С. 190.
dc.relation.references5. Яблонский С.В. Введение в дискретную математику: Учебн. пособие для вузов. 2-е изд., перераб. и доп. – М.: Наука. – 384 с.
dc.relation.references6. Цейтлін.Г.О. Алгебра логіки та конструювання програм. Елементи дискретної математики. – Київ: Наукова думка, 1994. – 84 с.
dc.relation.references7. Глушков В.М., Цейтлин Г.Е., Ющенко Е.А. Алгебра. Языки. Программирование. 3-е изд. (дополненное и переработанное). – Киев: Наук. думка. 1989. – 340 с.
dc.relation.references8. Гаврилов Г.П. Функциональные системы дискретной математики: Текст лекций. - М.: Изд-во Моск.ун-та, 1985. - 40 с.
dc.relation.referencesen1. 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.
dc.relation.referencesen2. 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.
dc.relation.referencesen3. 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.
dc.relation.referencesen4. 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.
dc.relation.referencesen5. Iablonskii S.V. Vvedenie v diskretnuiu matematiku: Uchebn. posobie dlia vuzov. 2-e izd., pererab. i dop, M., Nauka, 384 p.
dc.relation.referencesen6. Tseitlin.H.O. Alhebra lohiky ta konstruiuvannia prohram. Elementy dyskretnoi matematyky, Kyiv: Naukova dumka, 1994, 84 p.
dc.relation.referencesen7. Hlushkov V.M., Tseitlin H.E., Iushchenko E.A. Alhebra. Iazyki. Prohrammirovanie. 3-e izd. (dopolnennoe i pererabotannoe), Kiev: Nauk. dumka. 1989, 340 p.
dc.relation.referencesen8. Havrilov H.P. Funktsionalnye sistemy diskretnoi matematiki: Tekst lektsii, M., Izd-vo Mosk.un-ta, 1985, 40 p.
dc.identifier.citationenDuda 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].
dc.contributor.affiliationТернопільський державний технічний університет імені Івана Пулюя
dc.citation.journalTitleВісник Тернопільського державного технічного університету
dc.citation.volume5
dc.citation.issue3
dc.citation.spage102
dc.citation.epage110
Розташовується у зібраннях:Вісник ТДТУ, 2000, том 5, № 3

Файли цього матеріалу:
Файл Опис РозмірФормат 
TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110.pdf1,11 MBAdobe PDFПереглянути/відкрити
TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110.djvu186,44 kBDjVuПереглянути/відкрити
TSTUSJ_2000v5n3_Duda_O-The_theorem_about_functional_102-110__COVER.png329,71 kBimage/pngПереглянути/відкрити
Показати базовий опис матеріалу Перегляд статистики


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