Index of /Други/Компютърни науки - последни курсове - Лили Симеонова/Логическо програмиране/други/24.05.2009/задачи - Пролог/ProLog_zada4i/

../
1.doc                                              02-Mar-2007 16:57     22K
11.doc                                             02-Mar-2007 16:58     23K
teoria1.doc                                        02-Mar-2007 16:52     45K
teoria2.doc                                        02-Mar-2007 16:54     29K
zad.txt                                            02-Mar-2007 16:49     788
zadachi.doc                                        02-Mar-2007 16:53     55K
Аритметика.doc                                     02-Mar-2007 16:56     41K
Да разгледаме следната задача.doc                  02-Mar-2007 17:04     44K
Да се напише генератор без повторения на всички..> 02-Mar-2007 17:00     21K
Да се напише предикат fib.doc                      02-Mar-2007 16:57     21K
Да се приведат формулите в Скулемова нормална ф..> 02-Mar-2007 17:03     45K
Докажете с помощта на колапс и резолюция.doc       02-Mar-2007 17:05     21K
Език на предикатното смятане от първи ред.doc      02-Mar-2007 17:01     51K
Задача 1.doc                                       02-Mar-2007 17:04     92K
Казваме.doc                                        02-Mar-2007 17:02     46K
Като се използва алгоритъма за решаване на сист..> 02-Mar-2007 17:02     20K
Множество представяме чрез списък.doc              02-Mar-2007 16:56     21K
Напишете главата и опашката на следните списъци..> 02-Mar-2007 16:56     21K
Нека е зададена база от данни за оценките на ст..> 02-Mar-2007 16:55     23K
Определимост.doc                                   02-Mar-2007 17:02     29K
Работим в сигнатурата.doc                          02-Mar-2007 17:01     41K
Списъци.doc                                        02-Mar-2007 16:55     25K
а.doc                                              02-Mar-2007 17:01     22K
дизюнкт.doc                                        02-Mar-2007 17:04     46K