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

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