LINUX.ORG.RU
Регистрация
-
Вход
Имя:
Пароль:
Новости
Галерея
Статьи
Форум
Трекер
Поиск
Матлогика
1
0
Всего сообщений: 3
Форум
2018
General
Выбор linux для математических задач
(27 комментариев)
2016
Development
Является ли логика первого порядка Тьюринг-полной?
(132 комментария)
2012
Talks
Импликация. A->B
(52 комментария)