А18 |
Авдошин, С. М. Дискретная математика. Формально-логические системы и языки [Текст] / С. М. Авдошин, А. А. Набебин. – Москва : ДМК Пресс, 2018. – 390 с. – 450,00 грн, 200 экз.
Книга содержит основные сведения из формально-логических систем. Рассматриваются монадическая логика, конечные автоматы, темпоральная логика, аксиоматический язык программирования OBJ3. |