інформатика, информатика, informatica, Informatik, informatics, informatique ; аксіоматика, аксиоматика ; алгебра висловлювань, алгебра высказываний ; булеві функції, булевы функции, Boolean functions ; логіка предикатів, логика предикатов ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; системи штучного інтелекту, СШІ, системы искусственного интеллекта, СИИ ; теорія алгоритмів, теория алгоритмов, theory of algorithms ; теорія моделей, теория моделей ; Prolog ( Пролог, мова, Пролог, язык)

• УДК // Алгоритми. Обчислювальні функції
• УДК // Математична логіка