Latest posts from topic “Логически основи на информационните системи” Latest posts from topic “Логически основи на информационните системи” on “forum.uni-sofia.bg”. https://forum.su.schools.bg/viewtopic.php?f=55&t=14568 Thu, 11 Jun 2009 16:11:26 +0300 Surrealist Fri, 12 Jun 2009 16:05:53 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=589504#p589504 https://forum.su.schools.bg/viewtopic.php?f=55&p=589504#p589504 Re: Логически основи на информационните системи Methuselah Thu, 11 Jun 2009 23:42:05 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=589123#p589123 https://forum.su.schools.bg/viewtopic.php?f=55&p=589123#p589123 Re: Логически основи на информационните системи Surrealist написа:
Аз намерих едни лекции по Математическа логика. В тях намерих само теорема на Линденбаум. В тия лекции, дето си дал, има доста по-различни неща от тези, които ми трябват. Ще потърся из библиотеката утре нещо, както и в книжарницата нещо за тези логически основи.

Верно, че по логика я учихме... сори.]]> Surrealist Thu, 11 Jun 2009 18:11:34 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=588698#p588698 https://forum.su.schools.bg/viewtopic.php?f=55&p=588698#p588698 Re: Логически основи на информационните системи Methuselah Thu, 11 Jun 2009 17:29:16 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=588664#p588664 https://forum.su.schools.bg/viewtopic.php?f=55&p=588664#p588664 Re: Логически основи на информационните системи http://www.fmi.uni-sofia.bg/Members/rus ... i.pdf/view
За някои от нещата може да погледнеш тези лекции по Некласически логики за изкуствен интелект, четени също от проф. Вакарелов. Мисля, че само теоремата на Линдербаум я има, ако е същата за която си мисля.]]> Surrealist Thu, 11 Jun 2009 16:11:26 +0300 https://forum.su.schools.bg/viewtopic.php?f=55&p=588570#p588570 https://forum.su.schools.bg/viewtopic.php?f=55&p=588570#p588570 Логически основи на информационните системи