Събития

Апр. 25

Семинарът "Динамични системи и теория на числата" ще продължи работа с доклад на Никола Величков на тема "Верижни дроби".

Поканват се студентите и преподавателите.

Апр. 22

Доц. д-р Иван Георгиев, Институт по математика и информатика и Инаститут по информационни и комуникационни технологии, БАН, ще представи проблема:

„Изчислителна томография”

Апр. 01

Семинарът «Математическо моделиране» ще вклчи следните теми: 

1. Доц. д-р Емилия  Бажлекова от Института по Математика и Информатика, БАН, ще представи проблема:

"Диференциране от дробен ред: приложения в математическото моделиране на нелокални процеси" 

Апр. 01

Допълнително краткосрочно обучение по Висша алгебра за студентите от специалност ''Приложна математика'' 1 курс. 

Лектор: Стоян Апостолов.

Март 27

Тема: Равномерни допирателни конуси

Докладчици: Михаил Кръстанов, Надежда Рибарска

Поканват се всички интересуващи се.

Март 25

Програма на научната сесия.

По традиция, сесията ще приключи с коктейл, който ще започне в 17:30 часа пред  Деканата, и на който са поканени всички участници и гости на сесията.

Март 18

1. Доц. д-р Иван Бажлеков от Института по Математика и Информатика, БАН, ще представи проблема:

"Математическо Моделиране на Биологични Повърхностно Активни Вещества в Многофазни Течения" 

    Резюме: Като биологичен продукт биологичните повърхностно активни вещества (ПАВ) притежават редица важни свойства като ниска токсичност, висока биоразградимост, екологична съвместимост. Това обуславя и все по-широкото им използване напоследък в редица области на човешката дейност като природозащтна, индустриални производства на храни, петрол, биомедикаменти и др.

Март 11

Славомир Къслев ще представи проблема:

" Why Types Matter (Защо типовете са важни)" 

Резюме: Ще бъде направено кратко въведение в алгебричните типове от данни. Ще разгледаме няколко от връзките на Теория на Типовете с други клонове на математиката, конкретно с аналитичната комбинаторика, логика (Curry–Howard correspondence) и топология (Homotopy Type Theory). Също така ще разгледаме как системи, базирани на Dependent Types, дават възможност за формално доказване на теореми, използвайки компютър, и какво е Proof Assistant. 

Февр. 25

На 25.02.2017 г., събота, от 15:15 до 17 часа в зала 501 на ФМИ ще се проведе семинарът «Математическо моделиране». Силви-Мария Гюрова, участник в Седмицата по моделиране на ЕКМИ, София, 17-24 юли 2017 г., ще представи проблема:

"Финансови модели с шоково влияние на пазара" 

Ян. 20

Съгласно решение на Факултетния съвет на ФМИ, взето на заседанието на 12.12.2016 г. 

Свиквам ОБЩО СЪБРАНИЕ НА ФМИ на 20.01.2017 г. от 10:00 ч. в зала 325 на ФМИ.

Страници