https://mk.cs.msu.ru/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mathlog_318_lecture_4_5.pdf&feed=atom&action=historyФайл:Mathlog 318 lecture 4 5.pdf - История изменений2024-03-28T14:31:53ZИстория изменений этой страницы в викиMediaWiki 1.22.5//mk.cs.msu.ru/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Mathlog_318_lecture_4_5.pdf&diff=6904&oldid=prevPodymovVV: мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).2020-03-04T07:59:39Z<p>мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).</p>
<p><b>Новая страница</b></p><div>мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).</div>PodymovVV