ИС

В курса се изучават основните принципи на функциониране и съвременните методи за създаване на системи, основани на знания (СОЗ). Разглеждат се класическите формализми за представяне и използване на знания и някои популярни методи за машинно самообучение и придобиване на знания в СОЗ. Особено внимание се обръща на методите за представяне и използване на несигурни знания и данни в СОЗ. Разглеждат се въпроси, свързани с работата с онтологични знания, както и основните принципи на т. нар. Семантичен уеб. Обсъждат се основите на конекционисткия подход при представянето и използването на знания.

Курсът се въвеждат и изучават основни понятия, необходими за всяка математическа дисциплина – множества, релации и функции, като се акцентира върху крайния и изброимия случай. Въвеждат се и основните комбинаторни принципи и чрез тях се извеждат формулите за комбинаторните съединения. Изучават се най-важните понятия и факти, свързани с теорията на крайните графи. Не се предполагат специални предварителни познания.
Курсът дава добра математическа база на студентите-първокурсници, която ще им помогне в усвояването и на другите математически дисциплини, залегнали в техния план. Той стои в математическите основи и на информатиката, с което ще е полезен както за по-доброто разбиране на материала по информатика, така и в бъдещата им работа като програмисти.