The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Релиз векторного редактора Akira 0.0.14"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Релиз векторного редактора Akira 0.0.14" +1 +/
Сообщение от lockywolf (ok), 28-Апр-21, 05:26 
Пролог нужен для того, чтобы первокурский-второкурский предмет "математическая логика и теория вычислений" не казался бессмысленной гимнастикой для мозгов и схоластикой.

Это когда тебе рассказывают про "исчисления высказываний" и "исчисления предикатов", и ты в толк взять не можешь, это то ли очевидно, то ли чушь. Если _до_ этого рассказать Пролог и SQL, то при прохождении этих самых "логик", будет постоянное ощущение дежавю и желание сказать "так вот что это такое, на самом деле" и "зачем мы всё это пишем на бумажке, когда можно просто взять Пролог и заставить его выписать вывод".

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Релиз векторного редактора Akira 0.0.14, opennews, 26-Апр-21, 20:52  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру