Категория:Логика в информатике (Tgmyikjnx&Lkintg f nuskjbgmnty)

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

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

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

А

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

К

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

Л

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

С

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

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

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

П

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

Т

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

C

CompCert

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

Категории:

Скрытая категория:

Википедия:Категории без основных статей