13 Национален конгрес по Теоретична и Приложна механика ще се проведе от 06 до 10 Септември 2017 г в София, Институт по механика-БАН
Пълна информация за конгреса е достъпна на сайта: http://nctam.imbm.bas.bg/index.php/nctam/13nctam
13 Национален конгрес по Теоретична и Приложна механика ще се проведе от 06 до 10 Септември 2017 г в София, Институт по механика-БАН
Пълна информация за конгреса е достъпна на сайта: http://nctam.imbm.bas.bg/index.php/nctam/13nctam
Семинарът "Динамични системи и теория на числата" ще продължи работа с доклад на Никола Величков на тема "Верижни дроби".
Поканват се студентите и преподавателите.
Доц. д-р Иван Георгиев, Институт по математика и информатика и Инаститут по информационни и комуникационни технологии, БАН, ще представи проблема:
„Изчислителна томография”
Семинарът «Математическо моделиране» ще вклчи следните теми:
1. Доц. д-р Емилия Бажлекова от Института по Математика и Информатика, БАН, ще представи проблема:
"Диференциране от дробен ред: приложения в математическото моделиране на нелокални процеси"
Допълнително краткосрочно обучение по Висша алгебра за студентите от специалност ''Приложна математика'' 1 курс.
Лектор: Стоян Апостолов.
Тема: Равномерни допирателни конуси
Докладчици: Михаил Кръстанов, Надежда Рибарска
Поканват се всички интересуващи се.
Програма на научната сесия.
По традиция, сесията ще приключи с коктейл, който ще започне в 17:30 часа пред Деканата, и на който са поканени всички участници и гости на сесията.
Славомир Къслев ще представи проблема:
" Why Types Matter (Защо типовете са важни)"
Резюме: Ще бъде направено кратко въведение в алгебричните типове от данни. Ще разгледаме няколко от връзките на Теория на Типовете с други клонове на математиката, конкретно с аналитичната комбинаторика, логика (Curry–Howard correspondence) и топология (Homotopy Type Theory). Също така ще разгледаме как системи, базирани на Dependent Types, дават възможност за формално доказване на теореми, използвайки компютър, и какво е Proof Assistant.