Защитени дипломни работи

Забележка. Звездичка след името означава, че дипломантът е бил зачислен към друга катедра по време на обучението.

2024

• Станимир Петров — Stanimir Petrov
  Efficient representation of regular contextual replacement rules

2023

• Григор Колев — Grigor Kolev
  Определимост чрез съждителни формули с интуиционистка семантика: алгоритмични проблеми

• Антон Дудов — Anton Dudov
  Уеб-система за изпълнимост в контактната логика на свързаността

• Мартин Стоев — Martin Stoev
  Уеб-система за изпълнимост в контактна логика с мярка

• Моника Илиева — Monika Ilieva
  Some basic types of structural learnability

• Илиян Йорданов — Iliyan Yordanov
  Оптимизиране на преизползването на паметта в програми на функционални езици за програмиране

• Васил Желев — Vasil Zhelev
  Разрешимост на някои теории, отнасящи се до квазилинейни наредби

2022

• Ангел Димитриев — Angel Dimitriev
  Стохастичен анализ на количеството памет на алгоритмичната схема търсене с връщане

2021

• Яна Георгиева — Yana Georgieva
  Modal definability: two commuting equivalence relations

• Стоян Градев — Stoyan Gradev
  On the axiomatization of contact logics with measure

2020

• Иван Велевски — Ivan Velevski
  Компресирано представяне на бимашина

2019

• Диана Генева — Diana Geneva
  Разпознаване на емоции в сигнали от реч и ЕЕГ

• Ангел Павлов Ангелов — Angel Pavlov Angelov
  Combinatory Categorial Grammars for Geospatial Queries

• Стефан Фотев — Stefan Fotev
  The College Admission problem with quotas transfer

• Георги Шопов — Georgi Shopov
  Построяване на f-преобразувател на ниво символи за представяне на езикови модели

2018

• Боян Паунов — Boyan Paunov
  Characterization of uniform sequences of relations and structures

• Цветлин Маринов — Tsvetlin Marinov
  Logic of Strong Contact between Polytopes

• Пламен Димитров — Plamen Dimitrov
  Dynamic contact algebras and quantifier-free logics for space and time

2017

• Иван Николов — Ivan Nikolov
  Logics of n-ary contact

• Александър Лазаров — Aleksandar Lazarov
  Temporal mereology. Whitehead’s epochal theory of time as an extension of mereology

2016

• Иван Заманов
  Синтез на реч чрез статистически модел

• Красимир Георгиев — Krasimir Georgiev
  Satisfiability with Equivalences in Agreement

• Цветан Василев — Tsvetan Vasilev
  Modal Syllogistics

2014

• Николай Белухов
  Видимост между радарчета

• Венцислава Георгиева
  Алгоритми за ефективна навигация в инфиксни структури

• Александър Терзииванов — Alexander Terziivanov
  Приложения на Маркеровите разширения

2012

• Димитър Димитров — Dimitar Dimitrov
  Реализация на алгоритъма на Крахт

2011

• Андрей Сариев — Andrey Sariev
  ω-Тюрингови степени

2010

• Татяна Иванова — Tatyana Ivanova
  Логики за правите в Евклидовата равнина с предикатите пресичане, успоредност и перпендикулярност

2009

• Иван Димитров Георгиев — Ivan Georgiev
  Субрекурсивна изчислимост в анализа
  English translation: Subrecursive Computability in Analysis

• Владислав Ненчев — Vladislav Nenchev
  Логики за стабилни и нестабилни мереологични релации

• Николай Иванов — Nikolay Ivanov
  Релационни силогистики

2008

• Стефан Владимиров Герджиков — Stefan Gerdjikov
  Постпоследователни преобразуватели с допълнителна FIFO-памет. Регулярни правила за заместване
  Презентации: първа и втора част на предзащитата, защита.

• Христо Владимиров Йончев
  Алгоритъм на Рабин за автомати над дървета

• Стефан Володев Вътев — Stefan V. Vatev
  ω-спектри и ω-коспектри на структури

2007

• Петър Ванев Илиев
  Модални логики за конфликтни ситуации

• Цветан Чавдаров Дунчев
  Модална определимост в клас от структури с две релации на еквивалентност

• Калин Георгиев Николов
  Компресия на ациклични детерминирани крайни автомати чрез сливане на изоморфни подавтомати. Рекурсивни автомати

• Явор Нейчев Ненов
  Разрешима модална логика за топологични релации

• Ирина Димитрова Паунова
  Градирана модална логика на сечението

• Огнян Йорданов Захариев
  Модални езици с имена

2006

• Пламен Петков Шарапанов
  Вграждане на COM обекти в Strawberry Prolog

• Митко Видев Янчев
  Модални оператори за рационално градиране

• Атанас Цветанов Семерджиев
  Алгоритми за класиране

• Христина Стоянова Паликарева
  Построяване на автомат, разпознаващ моделите на PLTL

• Димитър Тодоров Георгиев
  Програмна реализация на алгоритъма SQEMA за модална определимост

• Трифон Анчев Трифонов
  Нормализация на бимашини

• Иван Петров Пейков — Ivan Peikov
  Директна конструкция на бимашина по контекстно правило за заместване,
  English translation: Direct Construction of a Bimachine for Context-Sensitive Rewrite Rule

• Борислав Красимиров Ризов
  Релационни структури за WordNet. Модален подход

2005

• Христина Иванова Маричкова
  Многосортни модални логики

• Мария Иванова Соскова — Mariya Soskova
  Метод на приоритета с безкрайни нарушения

• Димитър Веселинов Могиларов
  Минимални номерационни степени на нерезрешимост

• Петър Николаев Митанкин — Petar Mitankin
  Универсални Левенщайн-автомати. Построяване и свойства,
  English translation: Universal Levenstein Automata. Building and Properties

• Петър Христов Пешев
  Едно субрекурсивно уточнение на основната теорема на алгебрата

2004

• Богомил Колчев Ковачев
  Равномерни регулярни номерации

• Христо Александров Ганчев — Hristo Ganchev
  Регулярни номерации

2003

• Илия Владимиров Пчеларов
  Характеризация на недетерминистични програми в абстрактни структури

• Стоян Тодоров Атанасов
  Структури, допускащи максимална номерация

2002

• Георги Маринов Георгиев — Georgi Marinov
  Ригерови универсуми
• Георги Димитров Харизанов *
  Десетият проблем на Хилберт
• Николай Рангелов Колев
  Игри на Еренфойхт – Фресе

2001

• Бранимир Здравков Ламбов — Branimir Lambov
  Един практически поглед върху изчислимостта на реални числа

2000

• Йордан Ганчев Димитров — Jordan Dimitrov
  Коректни динамични структури
• Ани Ненкова Ненкова — Ani Nenkova
  Семантични таблици за концептуални езици

1999

• Иван Пламенов Ангелов
  Кодиране на изброимите релации от s-степени
• Владимир Траянов Трифонов
  Теорема за пълнота на вероятностната интервална темпорална логика относно стандартната й семантика
• Владимир Василев Димитров — Vladimir Dimitrov
  Градуирани модалности: модалният оператор “има безбройно много”

1998

• Георги Иванов Жожгов — Gueorgui Jojgov
  Двойки от степени от структури
• Николай Любомиров Попов
  Периодични взаимодействия
• Вера Димитрова Бучкова — Vera Boutchkova
  Генеричност в степени от структури

1997

• Паскал Николаев Пиперков — Paskal Piperkov
  Характеризация чрез аксиоми от първи ред на 3-местните информационни релации
• Милена Гошева Мушкарова
  Определяне на Фридманово изчислимите функции чрез системи от рекурсивни уравнения
• Владимир Стефанов Сосков — Vladimir Soskov
  Характеризация на следващото допустимо множество посредством номерации

1996

• Елена Кирилова Началничка
  Последователно допустими функции
• Ана Йорданова Денева
  Модални логики за локални и глобални прилики
• Лазар Гаврилов Борисов — Lazar Borissov
  Естествено-индуктивни дефиниции в абстрактни структури
• Антон Кирилов Зиновиев — Anton Zinoviev
  Върху една аксиоматизация на кодовото изчисление
• Николай Кирилов Дяков * — Nikolay K. Diakov
  Реализация на език за функционално програмиране
• Емил Георгиев Николов
  За една система на Тарски за елементарната геометрия

1995

• Биляна Иванова Гайтанджиева
  Теорема на Салквист за полимодален език с константи
• Весела Гочева Гочева (Балева) — Vessela Baleva
  Една семантика на логически програми с параметри
• Огнян Стефанов Герасимов — Ognjan Gerasimov
  Модална логика за геометрията на инцидентността
• Анелия Иванова Димитрова
  Условие за “обратимост” на правилата за извод при смятане с обобщени секвенции
• Димитър Димитров Добрев — Dimiter Dobrev
  Периодични зацикляния в Пролог

1994

• Чавдар Иванов Илиев
  Редукции на изводи и свойство на Чърч – Росер
• Елка Димитрова Маринова (Божкова) — Elka Bozhkova
  Същeствуване на рекурсивно номеруемо множество A, за което A^n-1 ≢_m Aⁿ ≡_m Aⁿ⁺¹
• Димитър Панайотов Гелев — Dimitar Guelev
  Теорема за силна пълнота на вероятностната логика на Сегерберг
• Милена Йорданова Бранкова
  Теорема за пълнота на една информационна модална логика

1993

• Милена Тодорова Стефанова
  Хомоморфни образи на регулярните и безконтекстните езици в полугрупата от субституции
• Андрей Евгениев Арсов
  Теореми за пълнота в разширения на логиката на стрелките
• Румен Димитров Димитров — Rumen Dimitrov
  Характеризация на ефективната изчислимост относно номерации, спрямо които са ефективни изваждането на единица и сравняването с нула
• Стоян Милков Михов — Stoyan Mihov
  Унификация на корегулярни множества

1987

• Мирослав Иванов Генов
  Логики на прости информационни структури с релации за прилика и информативност

1986

• Радост Димова Братанова
  Един модален език на предикатното смятане

1985

• Стела Колева Николова — Stela Nikolova
  Пример за алгебрична система, пълна по отношение на изчислимост със стандартни програми, снабдени с броячи, но непълна по отношение на изчислимост с рекурсивни програми
• Елка Христова Димитрова
  Конструктивизация на Хилбертовата аксиоматика на геометрията с по-слаб принцип за непрекъснатост
• Асен Петков Асенов
  N-мерна пропозиционална динамична логика

1984

• Валентин Феодоров Горанко — Valentin Goranko
  Интерполационна теорема на Крейг в съждителни логики със силно отрицание
• Георги Димитров Николов
  Един алгоритъм за намиране на извод с минимална ширина

1983

• Емил Апостолов Апостолов
  Програмни динамични логики на интуиционистка основа

1982

• Александър Симеонов Тодоринов
  Конструктивна непрекъснатост на s-функции и d,s-функции

1981

• Борислав Петров Юруков — Borislav Yurukov
  Частично рекурсивни функции с реален аргумент и тяхното приложение за апроксимиране на реални конструктивни функции
• Владимир Ангелов Попов
  Секвенционални формулировки на някои интуиционистки модални логики
• Мариана Георгиева Вътова
  Проблемата за еквивалентност за един клас програмни схеми
• Веселин Ценов Целков
  Интуиционистки модални логики, противоречащи на логиките на Ригер – Нишимура

1980

• Иван Маринов Лонгочев
  Пълнота на динамичната логика, разширена с програмни оператори за тестове
• Тинко Величков Тинчев — Tinko Tinchev
  Релевантни системи
• Марина Иванова Димитрова
  Представимост на IO-езиците в програмни машини с магазин

1979

• Александра Андреева Соскова — Alexandra Soskova
  Някои въпроси, свързани с дефиницията на понятието проста изчислимост
• Иван Николаев Сосков — Ivan Soskov
  Просто изчислими функции на краен брой аргументи, менящи се в основното множество и приемащи стойности в него
• Мони (Соломон) Исак Паси — Solomon Passy
  Структурирани програми за машините на Тюринг
• Огнемир Игнатов Игнатов
  Приложение на комбинаторните пространства за изучаване сложността на пресмятанията
• Красимир Атанасов Киров
  Пълнота на една интуиционистка модална система

1978

• Елена Георгиева Пазова
  Изследване на едно конкретно комбинаторно пространство
• Русанка Първанова Луканова — Roussanka Loukanova
  Псевдокомбинаторни пространства и рекурсивност в тях
• Ангел Василев Дичев — Angel Ditchev
  Изчислимост в смисъл на Московакис и връзката й с частичната рекурсивност посредством номерации
• Милена Цветкова Михайлова
  Редукция на модалности в някои интуиционистки модални логики
• Марион Саркис Мирчева * — Marion Mircheva
  Модални алгебри на Пост и многозначни модални логики

1977

• Любомир Лалов Иванов — Lyubomir Ivanov
  Рекурсивност в естествени комбинаторни пространства
• Еличка Иванова Цветкова
  Предикатни логики със силно отрицание
• Веселин Петров Петров — Vesselin Petrov
  Категорни пространства
• Мартин Матеев Табаков — Martin Tabakov
  Примитивно-рекурсивни вероятностни функции
• Петър Стефанов Радучев
  Съждителни смятания с няколко отрицания

1974

• Йордан Ангелов Зашев — Jordan Zashev
  Стъпаловидна семантична система с дедуктивни импликации, еквивалентна на системата на Марков

1973

• Славян Радославов Радев — Slavian Radev
  Интуиционистко модално пропозиционално смятане