Категория:Логика в информатике

Материал из Википедии — свободной энциклопедии

Перейти к навигации Перейти к поиску

Основная статья: Логика в информатике

Подкатегории

В этой категории отображается 5 подкатегорий из имеющихся 5.

К

[×] Комбинаторная логика‎ (3: 3 с.)

Л

► Логические операции‎ (13: 1 кат., 12 с.)
► Логическое программирование‎ (6: 1 кат., 5 с.)

С

► Семантика языков программирования‎ (4: 2 кат., 2 с.)
[×] Семейства цифровых интегральных схем‎ (12: 12 с.)

Страницы в категории «Логика в информатике»

Показаны 3 страницы из 3, находящихся в данной категории.

Л

Логика в информатике

Т

Теория алгоритмов

C

CompCert

Источник — https://ru.wikipedia.org/w/index.php?title=Категория:Логика_в_информатике&oldid=56793104

Категории: