RU

Логическое программирование в Scala. Теория

Здесь мы разберём ∙ элементы математической логики , связывающие её с языками программирования; ∙ ключевой аспект логического программирования — авт…

логическое программированиематематическая логикасеквенциальная логикапрологтеория типов