Статья
flang — описание языка
Что за язык flang: два класса программ, печать в девять языков, самоприменение, fspec — спеки на flang — и честная граница между доказанным и проверенным
База знаний
Тема: формальные-методы
2 материалов в этой теме.
Материалы
2 на странице
Статья
Математическая логика и доказательства: как рассуждать строго
Пропозициональная логика, кванторы, правила вывода и методы доказательств — от таблиц истинности и SAT-солверов до инвариантов цикла, соответствия Карри–Ховарда и теорем …
По этому запросу ничего не найдено.