Математическая логика: построение логических схем из логических элементов в Maple
В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
KamGU by Vitus Bering
2021-11-01
|
| Series: | Vestnik KRAUNC: Fiziko-Matematičeskie Nauki |
| Subjects: | |
| Online Access: | http://krasec.ru/olenev363021/ |
| _version_ | 1818827030258515968 |
|---|---|
| author | Оленев, А.А. Киричек, К.А. Потехина, Е.В. |
| author_facet | Оленев, А.А. Киричек, К.А. Потехина, Е.В. |
| author_sort | Оленев, А.А. |
| collection | DOAJ |
| description | В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах. |
| first_indexed | 2024-12-19T00:37:04Z |
| format | Article |
| id | doaj.art-2d046a576cb04b5f94af9dfd3a1d0893 |
| institution | Directory Open Access Journal |
| issn | 2079-6641 2079-665X |
| language | English |
| last_indexed | 2024-12-19T00:37:04Z |
| publishDate | 2021-11-01 |
| publisher | KamGU by Vitus Bering |
| record_format | Article |
| series | Vestnik KRAUNC: Fiziko-Matematičeskie Nauki |
| spelling | doaj.art-2d046a576cb04b5f94af9dfd3a1d08932022-12-21T20:44:44ZengKamGU by Vitus BeringVestnik KRAUNC: Fiziko-Matematičeskie Nauki2079-66412079-665X2021-11-012021315516410.26117/2079-6641-2021-36-3-155-16410.26117/2079-6641-2021-36-3-155-164Математическая логика: построение логических схем из логических элементов в MapleОленев, А.А.0Киричек, К.А.1Потехина, Е.В.2Ставропольский государственный педагогический институтСтавропольский государственный педагогический институтСтавропольский государственный педагогический институтВ статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах.http://krasec.ru/olenev363021/булева функциясамодвойственностьосновной базисуниверсальные базисылогические элементыboolean functionself-dualitybasisuniversal baseslogical elements |
| spellingShingle | Оленев, А.А. Киричек, К.А. Потехина, Е.В. Математическая логика: построение логических схем из логических элементов в Maple Vestnik KRAUNC: Fiziko-Matematičeskie Nauki булева функция самодвойственность основной базис универсальные базисы логические элементы boolean function self-duality basis universal bases logical elements |
| title | Математическая логика: построение логических схем из логических элементов в Maple |
| title_full | Математическая логика: построение логических схем из логических элементов в Maple |
| title_fullStr | Математическая логика: построение логических схем из логических элементов в Maple |
| title_full_unstemmed | Математическая логика: построение логических схем из логических элементов в Maple |
| title_short | Математическая логика: построение логических схем из логических элементов в Maple |
| title_sort | математическая логика построение логических схем из логических элементов в maple |
| topic | булева функция самодвойственность основной базис универсальные базисы логические элементы boolean function self-duality basis universal bases logical elements |
| url | http://krasec.ru/olenev363021/ |
| work_keys_str_mv | AT olenevaa matematičeskaâlogikapostroenielogičeskihshemizlogičeskihélementovvmaple AT kiričekka matematičeskaâlogikapostroenielogičeskihshemizlogičeskihélementovvmaple AT potehinaev matematičeskaâlogikapostroenielogičeskihshemizlogičeskihélementovvmaple |