|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
Опции темы | Поиск в этой теме |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
метод резолюции в исчислении предикатов. | Екатерина57 | Фриланс | 0 | 09.12.2016 19:11 |
метод резолюции в исчислении предикатов. | Екатерина57 | Фриланс | 0 | 04.12.2016 13:15 |
C/C# - разработать преобразователь произвольной формулы в замкнутую (исчисление предикатов) | liroykaz | Фриланс | 1 | 19.11.2014 21:29 |
Доказать, что бд относится к 3 нормальной форме, если нет то к какой | mo_Ouse | Microsoft Office Access | 0 | 22.12.2011 20:01 |
Привести любую формулу на языке предикатов 1го порядка к СКНФ (C# / Prolog). | emppu2007 | Фриланс | 0 | 11.06.2011 13:54 |