Тотожні перетворення формул в Sn-алгебрі

dc.citation.epage69
dc.citation.issue546 : Комп’ютерні системи та мережі
dc.citation.journalTitleВісник Національного університету “Львівська політехніка”
dc.citation.spage58
dc.contributor.affiliationФізико-механічний институт ім. Г. В. Карпенка НАН України
dc.contributor.authorКметь, А. Б.
dc.coverage.placenameЛьвів
dc.coverage.placenameLviv
dc.date.accessioned2020-11-18T20:18:09Z
dc.date.available2020-11-18T20:18:09Z
dc.date.created2005-03-01
dc.date.issued2005-03-01
dc.description.abstractРозглянуто проблему тотожних перетворень в Sts-алгебрі. Задачу про тотожні перетворення формулюють так. На множині операцій алгебри необхідно визначити повну систему тотожностей, тобто знайти певну елементарну підмножину пар рівних формул, які реалізують одну й ту саму функцію і дають змогу підставлянням знайдених формул одних замість інших отримати для будь-якої формули всі відповідні їй формули.
dc.description.abstractThe paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of complete system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her.
dc.format.extent58-69
dc.format.pages12
dc.identifier.citationКметь А. Б. Тотожні перетворення формул в Sn-алгебрі / А. Б. Кметь // Вісник Національного університету “Львівська політехніка”. — Львів : Видавництво Національного університету “Львівська політехніка”, 2005. — № 546 : Комп’ютерні системи та мережі. — С. 58–69.
dc.identifier.citationenKmet A. B. Totozhni peretvorennia formul v Sn-alhebri / A. B. Kmet // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". — Lviv : Vydavnytstvo Natsionalnoho universytetu "Lvivska politekhnika", 2005. — No 546 : Kompiuterni systemy ta merezhi. — P. 58–69.
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/55274
dc.language.isouk
dc.publisherВидавництво Національного університету “Львівська політехніка”
dc.relation.ispartofВісник Національного університету “Львівська політехніка”, 546 : Комп’ютерні системи та мережі, 2005
dc.relation.references1. Кметь А.Б. Интегральная точковая логика. - Львов, 1998.
dc.relation.references2. Куликов ЛЯ. Алгебра и теория чисел. - М., 1979.
dc.relation.references3. КтеҐ А.В., On the representation of discrete function. Introduction to S^-cdgebra, Proceedings of 5th Intemationel conference on telecommunications in modem satellite, cable and broadcasting, p.p. 37-46, Nis, 2001.
dc.relation.references4. Линдон P.K. Тождества в конечных алгебрах / Под ред. А.А. Ляпунова и О.Б. Лупанова//Кибернетический сборник. -М., 1960. -№1. - С. 246-249.
dc.relation.referencesen1. Kmet A.B. Intehralnaia tochkovaia lohika, Lvov, 1998.
dc.relation.referencesen2. Kulikov LIa. Alhebra i teoriia chisel, M., 1979.
dc.relation.referencesen3. KteG A.V., On the representation of discrete function. Introduction to S^-cdgebra, Proceedings of 5th Intemationel conference on telecommunications in modem satellite, cable and broadcasting, p.p. 37-46, Nis, 2001.
dc.relation.referencesen4. Lindon P.K. Tozhdestva v konechnykh alhebrakh, ed. A.A. Liapunova i O.B. Lupanova//Kiberneticheskii sbornik. -M., 1960. -No 1, P. 246-249.
dc.rights.holder© Національний університет “Львівська політехніка”, 2005
dc.rights.holder© Кметь А. Б., 2005
dc.subject.udc519.95
dc.titleТотожні перетворення формул в Sn-алгебрі
dc.typeArticle

Files

Original bundle

Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
2005n546_Kmet_A_B-Totozhni_peretvorennia_formul_58-69.pdf
Size:
820.35 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
2005n546_Kmet_A_B-Totozhni_peretvorennia_formul_58-69__COVER.png
Size:
470.2 KB
Format:
Portable Network Graphics

License bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
2.94 KB
Format:
Plain Text
Description: