Geodesic
Mathematical logic: construction of logic circuits from logical elements in maple
Vestnik KRAUNC. Fiziko-matematičeskie nauki, Tome 36 (2021) no. 3, pp. 155-164
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The article discusses the possibilities of using the Logic library of the Maple computer algebra system in the aspect of computer modeling of logic circuits in various bases. Basic logic gates are modeled in Maple. On a specific example, an algorithm for constructing a logical circuit in various bases is presented in detail.
Keywords: boolean function, self-duality, basis, universal bases, logical elements. 
@article{VKAM_2021_36_3_a12,
     author = {A. A. Olenev and K. A. Kirichek and E. V. Potekhina},
     title = {Mathematical logic: construction of logic circuits from logical elements in maple},
     journal = {Vestnik KRAUNC. Fiziko-matemati\v{c}eskie nauki},
     pages = {155--164},
     year = {2021},
     volume = {36},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VKAM_2021_36_3_a12/}
}
TY  - JOUR
AU  - A. A. Olenev
AU  - K. A. Kirichek
AU  - E. V. Potekhina
TI  - Mathematical logic: construction of logic circuits from logical elements in maple
JO  - Vestnik KRAUNC. Fiziko-matematičeskie nauki
PY  - 2021
SP  - 155
EP  - 164
VL  - 36
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VKAM_2021_36_3_a12/
LA  - ru
ID  - VKAM_2021_36_3_a12
ER  - 
%0 Journal Article
%A A. A. Olenev
%A K. A. Kirichek
%A E. V. Potekhina
%T Mathematical logic: construction of logic circuits from logical elements in maple
%J Vestnik KRAUNC. Fiziko-matematičeskie nauki
%D 2021
%P 155-164
%V 36
%N 3
%U http://geodesic.mathdoc.fr/item/VKAM_2021_36_3_a12/
%G ru
%F VKAM_2021_36_3_a12
A. A. Olenev; K. A. Kirichek; E. V. Potekhina. Mathematical logic: construction of logic circuits from logical elements in maple. Vestnik KRAUNC. Fiziko-matematičeskie nauki, Tome 36 (2021) no. 3, pp. 155-164. http://geodesic.mathdoc.fr/item/VKAM_2021_36_3_a12/

[1] Rosen K. H., Discrete Mathematics and Its Applications, Published by McGrawHill, New York, 2012, 1071 pp.

[2] Gorjushkin A. P., Diskretnaja matematika v Maple, LAP LAMBERT Academic Publishing, Kishinev, 2016, 436 pp. (In Russian)

[3] Olenev A. A., Kirichek K. A., Potehina E. V., Programma dlja vizualizacii osnovnyh logicheskih operacij, Svidetel'stvo o registracii programmy dlja JeVM 2021613965, M, 2021 (In Russian)

[4] Monagan M. B., et al., Maple Introductory Programming Guide, Maplesoft, a division of Waterloo Maple, Canada, 2006, 398 pp.

[5] Sdvizhkov O. A., Mathematics on the computer: Maple 8, SOLON-Press, Moscow, 2003, 176 pp. (In Russian)

[6] Olenev A. A., Maliataki V. V., “Modelirovanie logicheskih jelementov i prostejshih uzlov JeVM v sisteme komp'juternoj matematiki Maple”, Informatika v shkole, 2017, no. 8(131), 58-63 (In Russian)

[7] Olenev A. A., Maliataki V. V., Tyncherov K. T., “Logicheskie jelementy i shemy v SKA Maple”, Sovremennye tehnologii v neftegazovom dele — 2017, Sbornik trudov mezhdunarodnoj nauchno-tehnicheskoj konferencii, Oktjabr'skij, 31 marta 2017 g., v. 2, Ufimskij gosudarstvennyj neftjanoj tehnicheskij universitet, Oktjabr'skij, 2017, 280-283 (In Russian)

[8] Goryushkin A. P., “O primenenii komp'yuternoy tekhniki pri izuchenii distsipliny «Matematicheskaya logika i teoriya algoritmov»”, Aktual’nyye problemy prepodavaniya matematiki v tekhnicheskom vuze, 8 (2020), 97-105 (In Russian)

[9] Gorjushkin A. P., “Mashinnoe reshenie zadach diskretnoj matematiki”, Vestnik KRAUNC. Fiziko-matematicheskie nauki, 2011, no. 2(3), 58-68 (In Russian)

[10] Gorjushkin A. P., “Issledovanie diskretnyh obektov komp'juternymi sredstvami”, Teorija i praktika sovremennyh gumanitarnyh i estestvennyh nauk, Materialy ezhegodnoj mezhregional'noj nauchno-prakticheskoj konferencii, Petropavlovsk-Kamchatskij, 08-10 fevralja 2012 g., Kamchatskij gosudarstvennyj universitet im. Vitusa Beringa, Petropavlovsk-Kamchatskij, 2012, 185-187 (In Russian)

[11] Goryushkin A. P., Goryushkin V. A., Elementy abstraktnoy i komp'yuternoy algebry, KamGU im. im. Vitusa Beringa, Petropavlovsk-Kamchatka, 2011, 518 pp. (In Russian)