Математическая логика: построение логических схем из логических элементов в Maple

В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Оленев, А.А., Киричек, К.А., Потехина, Е.В.
Formato: article
Lenguaje:EN
RU
Publicado: KamGU by Vitus Bering 2021
Materias:
Q
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