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

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

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

А

Автоматическое доказательство теорем‎ (14: 2 кат., 12 с.)

К

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

Л

Логические операции‎ (9: 1 кат., 8 с.)
Логическое программирование‎ (8: 2 кат., 6 с.)

С

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

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

Показаны 3 страницы из 3, находящихся в данной категории. Список ниже может не отражать последних изменений.

П

Переписывающая система

Т

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

C

CompCert

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