Избираеми курсове

Курсът е избираем за студентите от ІІ до ІV курс от специалностите “Информатика”, “Информационни системи”, “Компютърни науки”, “Софтуерно инженерство” и “Приложна математика” – бакалавърска степен.
Този курс въвежда на студентите основните понятия, принципи и конфигуриране на пакета TCP/IP протоколи, както и на свързаните с тях технологии за комуникация, автоматично адресиране, преобразуване на хост имена и защита на трафика.
От кандидатите за този курс се изисква да имат базови компютърни умения и начален опит в мрежови комуникации.

важно : записаните в СУСИ ще бъдат отписани. записването става след преминаване на входящ тест. курсът не е за по-бързите в кликането в браузера, а за по-добрите в релевантните технологии

Perl е създаден през 1987г от лингвиста Лари Уол първоначално за анализ на резултати в областта на биоинформатиката. През 90-те езикът претърпява стремглаво развитие, с което факто се превръща в първия интерпретаторен език с общо приложение при решаването на широк диапазон от задачи.

Дълго време Perl е езикът на пионерите в компютърната информатика. Тук се появяват за пръв път в удобен вид и много от стандартните за модерните езици характеристики като късна оценка, динамични типове, вградени комплексни структури от данни и др. От Perl произлиза и де факто стандартния днес мета-език за регулярни изрази, който срещаме в Java, C#, JavaScript, Python и др. Силно повлиян от Perl е и езика PHP, който се явява нещо като силно опростен негов диалект.

Днес Perl продължава да се смята за „швйцарското ножче” на системния интегратор. Към това се добавя и факта, че за Perl има над 100 000 безплатни модула, които са добре тествани и организирани в публично достъпно хранилище.

Овладяването на езика е продължителен процес, който крие изненади, но програмистите, владеещи Perl, се радват на уважението на водещите в бранша и доста често - на първокласно заплащане.

Курсът запознава студентите със съвременните NoSQL решения, техните теоретични основи, предимства и недостатъци. Прави се сравнение с релационните системи за управление на бази от данни. Разглежда се по-задълбочено документно-ориентираната система на MongoDB, нейните интерфейси към по-известните езици за програмиране и администрирането ѝ.

Курсът е разделен на две части. В първата се въвеждат изчислимите функции в
естествените числа и се доказват основните им свойства. Дискутират се резултати за
алгоритмична неразрешимост. Доказват се Първа и Втора теорема за рекурсията. Във
втората част се въвежда Машинно независимата теория на сложността. Доказват се
основните теореми, свързани с абстракната теория на сложността, сред които
теоремите за пропастта и за ускорението.

Основна литература:

И. Сосков, А. Дичев, Теория на програмите, Университетско издателство, 1997.
А. Соскова, Ст. Николова, Теория на програмите в задачи, Софтех, 2001.