Премини към основното съдържание
Факултет по математика и информатика
Начало
Представяне
История
130 години ФМИ
Личности
Видни бивши преподаватели
Наградени студенти
Наградени студенти, 2020 г.
Наградени студенти, 2019 г.
Наградени студенти, 2018 г.
Наградени студенти, 2017 г.
Наградени студенти, 2016 г.
Наградени студенти, 2015 г.
Алумни
Академичен състав А-Я
Контакти
Библиотека
Новини
Последни новини
Събития
БГ
EN
Форма за търсене
Структура
Управление и органи
Общо събрание
Факултетен съвет
Декан
Заместник-декани
Администрация
Деканат
Отдел "Студенти"
Учебен отдел
Кариерно израстване, научна и проектна дейност
Преподаватели по английски език
Счетоводство
ЛИО
Техническа служба
Катедри
Студентски съвет
Обучение
Академични програми
Бакалавърски програми
Магистърски програми
Докторски програми
Програма Еразъм+
Студентска мобилност
Преподавателска мобилност
Продължаващо обучение
Прием
Бакалавър
Процедура
Програми
Изпит
Справочник
Стипендиантска програма на INSAIT
Теми от изпити
Магистър
Процедура
Изпити
Текуща кампания
Доктор
Процедура
Докторски програми
Изпити
Продължаващо обучение
Процедура
Квалификационни програми
Краткосрочни курсове
Курсове за допълнителна професионална квалификация
Кандидатстудентски курсове
Научноизследователска дейност
Изследователски структури
Лаборатории
Центрове
Библиотека
Изследователски групи
Участие на Докторанти
Участие на Студенти
Научни публикации
Годишник на СУ - ФМИ
Дисертации и трудове
ИС Авторите
Други публикации
Проекти
Вътрешни – финансирани от СУ
Национални
Международни
ИС за Проекти
Кандидатстване за проекти
Членства в организации
Събития и връзки
Колоквиум на ФМИ
Пролетна научна сесия на ФМИ
Национални конференции
Международни конференции
Академични връзки
Връзки с индустрията
Научни БД – ISI, Scopus, …
Програма ЕОС
Правила и документи по програма ЕОС
Наставници във ФМИ по програма ЕОС
ЕОС наставници за специалност "Математика"
ЕОС наставници за специалност "Статистика"
ЕОС наставници за специалност "Софтуерно инженерство"
ЕОС наставници за специалност "Математика и информатика"
ЕОС наставници за специалност "Информатика"
ЕОС наставници за специалност "Информационни системи"
ЕОС наставници за специалност "Компютърни науки"
ЕОС наставници за специалност "Анализ на данни"
Комплекти задания за домашни и контролни работи
Допълнителни обучения във ФМИ по програма ЕОС
Допълнителни обучения за специалност "Информатика"
Допълнителни обучения за специалност "Информационни системи"
Допълнителни обучения за специалност "Компютърни науки"
Допълнителни обучения за специалност "Компютърни науки"
Допълнителни обучения за специалност "Математика"
Допълнителни обучения за специалност "Приложна математика"
Допълнителни обучения за специалност "Софтуерно инженерство"
Допълнителни обучения за специалност "Статистика"
Проекти и учебни материали
Състезания
Студенти
Турнир за купата на Декана
НСОМ
НСОКМ
Ученици
Турнир "Проф. Б. Боянов"
Състезание по компютърни мрежи за ученици
Национална олимпиада по ИТ
Начало
Research
Scientific publications
Annual of the FMI
Tome 90
Tome 90
Editorial note
,
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, p.3, (1998)
90-003.pdf
(159.95 KB)
Scientific programme of the Fourth Logical Biennial
,
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.7, (1998)
90-007.pdf
(71.1 KB)
SKORDEV'S CONTRIBUTION TO RECURSION THEORY
,
Ivanov, Lyubomir
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.9-15, (1998)
90-009-015.pdf
(866.91 KB)
A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*
,
Stefanova, Milena
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.17-40, (1998)
90-017-040.pdf
(1.97 MB)
FIRST ORDER AXIOMATIZABILITY OF RECURSION THEORY IN CARTESIAN LINEAR COMBINATORY ALGEBRAS
,
Zashev, Jordan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.41-50, (1998)
90-041-050.pdf
(946.7 KB)
A CATEGORICAL FRAMEWORK FOR CODE EVALUATION METHOD
,
Zashev, Jordan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.51-75, (1998)
90-051-075.pdf
(2.33 MB)
ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS
,
Soskova, Alexandra
, and
Soskov Ivan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.77-90, (1998)
90-077-090.pdf
(1.2 MB)
$\prod_{1}^{0}$-POSITIVE INDUCTIVE DEFINABILITY ON ABSTRACT STRUCTURES
,
Nikolova, Stela
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.91-108, (1998)
90-091-108.pdf
(1.65 MB)
AN INEQUALITY OF DUFFIN-SCHAEFFER-SCHUR TYPE
,
Nikolov, Geno
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.109-123, (1998)
90-109-123.pdf
(1.12 MB)
FACTORIZATIONS OF THE GROUPS $\Omega_{7}(q)$
,
Gentcheva, Elenka
, and
Gentchev Tsanko
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.125-132, (1998)
90-125-132.pdf
(637.68 KB)
Рост целых функций, обращающихся в ноль на аналитическом множестве
,
Mitreva, Maria
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 1 - Mathématiques et Mecanique, p.133-138, (1998)
90-133-138.pdf
(436.21 KB)
A CONSTRAINT BASED SYSTEM FOR LEXICAL KNOWLEDGE RETRIEVAL
,
Mihov, Stoyan
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.141-148, (1998)
90-141-148.pdf
(659.23 KB)
A MOTION OF A FAST SPINNING RIGID BODY ABOUT A FIXED POINT IN A SINGULAR CASE
,
Ismail, Abdel
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.149-164, (1998)
90-149-164.pdf
(1.1 MB)
KAM - A KNOWLEDGE-BASED TOOL FOR DEVELOPING COMPUTER ALGEBRA SYSTEMS
,
Nisheva-Pavlova, Maria
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.165-176, (1998)
90-165-176.pdf
(1.23 MB)
NUMERICAL SOLUTIONS FOR STEADY FLOW PAST A CIRCULAR CYLINDER VIA THE METHOD OF VARIATIONAL IMBEDDING
,
Christov, Christo
, and
Marinova Rossitza
, Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique, Volume 90, Issue Livre 2 - Mathématiques Appliquée et Informatique, p.177-189, (1998)
90-177-189.pdf
(1.09 MB)