| forum.uni-sofia.bg https://forum.su.schools.bg/ |
|
| Логически основи на информационните системи https://forum.su.schools.bg/viewtopic.php?f=55&t=14568 |
Страница 1 от 1 |
| Автор: | Surrealist [ 11 Юни 2009, 15:11 ] |
| Заглавие: | Логически основи на информационните системи |
Някой знае ли откъде мога да намеря лекции по тази дисциплина? Предметът е избираем и в него се разглеждат въпроси като информационни системи, формални онтологии, теорема на Линдебаум, секвенции на Скот, дискретни модели на пространсво и т.н. |
|
| Автор: | Methuselah [ 11 Юни 2009, 16:29 ] |
| Заглавие: | Re: Логически основи на информационните системи |
http://www.fmi.uni-sofia.bg/Members/rus ... i.pdf/view За някои от нещата може да погледнеш тези лекции по Некласически логики за изкуствен интелект, четени също от проф. Вакарелов. Мисля, че само теоремата на Линдербаум я има, ако е същата за която си мисля. |
|
| Автор: | Surrealist [ 11 Юни 2009, 17:11 ] |
| Заглавие: | Re: Логически основи на информационните системи |
Аз намерих едни лекции по Математическа логика. В тях намерих само теорема на Линденбаум. В тия лекции, дето си дал, има доста по-различни неща от тези, които ми трябват. Ще потърся из библиотеката утре нещо, както и в книжарницата нещо за тези логически основи. |
|
| Автор: | Methuselah [ 11 Юни 2009, 22:42 ] |
| Заглавие: | Re: Логически основи на информационните системи |
Surrealist написа: Аз намерих едни лекции по Математическа логика. В тях намерих само теорема на Линденбаум. В тия лекции, дето си дал, има доста по-различни неща от тези, които ми трябват. Ще потърся из библиотеката утре нещо, както и в книжарницата нещо за тези логически основи. Верно, че по логика я учихме... сори. |
|
| Автор: | Surrealist [ 12 Юни 2009, 15:05 ] |
| Заглавие: | Re: Логически основи на информационните системи |
Има ли някой, който е ходил на тези лекции, да сподели евентуално от къде може да се намерят материали? Аз ходи днес и в студенстката библиотека и в преподавателската и нищо. В книжарницата пак нищо. |
|
| Страница 1 от 1 | Часовете са според зоната UTC + 2 часа |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|