Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Логіка в інформатиці
Мова
Спостерігати
Редагувати
Підкатегорії
Показано 2 підкатегорії з 2.
А
Автоматичне доведення
(2 К, 4 С)
С
Семантика мов програмування
(1 К, 6 С)
Сторінки в категорії «Логіка в інформатиці»
Показано 35 сторінок цієї категорії (із 35).
Логіка в інформатиці
А
Автоматизоване міркування
Аксіоматична семантика
Аксіоми Пеано
Алгебраїчна семантика
Алгоритмічно нерозв'язна задача
Арифметика Пресбургера
В
Відповідність Каррі — Говарда
Д
Денотаційна семантика
Диз'юнкт Горна
З
Задача здійсненності булевих формул
Зворотний вивід
І
Інтуїціоністська логіка
К
Карта Карно
Комбінаторна логіка
Комбінаційна логіка
Критерії ДіВінченцо
Н
Нечітка логіка
О
Операційна семантика
П
Перевірка моделі
Передумова (формальні методи)
Післяумова (формальні методи)
Припущення (програмування)
Прямий вивід
Р
Рерайтинг (математика)
С
Секвенційна логіка
Семантика (інформатика)
Стан гонитви
Т
Типізоване лямбда-числення
У
Уніфікація (інформатика)
Ф
Формальна верифікація
Функціональна повнота
K
Knowledge Interchange Format
O
OBJ (мова програмування)
S
Satisfiability Modulo Theories