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

А

• ► Автоматическое доказательство теорем‎ (13: 2 кат., 11 с.)

К

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

Л

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

С

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

Л

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

Т

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

C

• CompCert