Математическая логика: построение логических схем из логических элементов в Maple
В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | article |
| Lenguaje: | EN RU |
| Publicado: |
KamGU by Vitus Bering
2021
|
| Materias: | |
| Acceso en línea: | https://doaj.org/article/2d046a576cb04b5f94af9dfd3a1d0893 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| id |
oai:doaj.org-article:2d046a576cb04b5f94af9dfd3a1d0893 |
|---|---|
| record_format |
dspace |
| spelling |
oai:doaj.org-article:2d046a576cb04b5f94af9dfd3a1d08932021-11-10T10:41:03ZМатематическая логика: построение логических схем из логических элементов в Maple2079-66412079-665X10.26117/2079-6641-2021-36-3-155-164https://doaj.org/article/2d046a576cb04b5f94af9dfd3a1d08932021-11-01T00:00:00Zhttp://krasec.ru/olenev363021/https://doaj.org/toc/2079-6641https://doaj.org/toc/2079-665XВ статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах.Оленев, А.А.Киричек, К.А.Потехина, Е.В.KamGU by Vitus Beringarticleбулева функциясамодвойственностьосновной базисуниверсальные базисылогические элементыboolean functionself-dualitybasisuniversal baseslogical elementsScienceQENRUVestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2021, Iss 3, Pp 155-164 (2021) |
| institution |
DOAJ |
| collection |
DOAJ |
| language |
EN RU |
| topic |
булева функция самодвойственность основной базис универсальные базисы логические элементы boolean function self-duality basis universal bases logical elements Science Q |
| spellingShingle |
булева функция самодвойственность основной базис универсальные базисы логические элементы boolean function self-duality basis universal bases logical elements Science Q Оленев, А.А. Киричек, К.А. Потехина, Е.В. Математическая логика: построение логических схем из логических элементов в Maple |
| description |
В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах. |
| format |
article |
| author |
Оленев, А.А. Киричек, К.А. Потехина, Е.В. |
| author_facet |
Оленев, А.А. Киричек, К.А. Потехина, Е.В. |
| author_sort |
Оленев, А.А. |
| title |
Математическая логика: построение логических схем из логических элементов в Maple |
| title_short |
Математическая логика: построение логических схем из логических элементов в Maple |
| title_full |
Математическая логика: построение логических схем из логических элементов в Maple |
| title_fullStr |
Математическая логика: построение логических схем из логических элементов в Maple |
| title_full_unstemmed |
Математическая логика: построение логических схем из логических элементов в Maple |
| title_sort |
математическая логика: построение логических схем из логических элементов в maple |
| publisher |
KamGU by Vitus Bering |
| publishDate |
2021 |
| url |
https://doaj.org/article/2d046a576cb04b5f94af9dfd3a1d0893 |
| 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 |
| _version_ |
1718439966780948480 |