Матэматычная логіка, алгебра і тэорыя лікаў
Кваліфікацыя: «Даследчык» у галіне фізіка-матэматычных навук
Ступень (пры паспяховай абароне): кандыдат фізіка-матэматычных навук
Факультэт: Факультэт камп'ютарных навук і электронікі
Кафедра: Кафедра матэматыкі і камп'ютарнай бяспекі
Формы навучання: дзённая – 3 гады / завочная – 4 гады / суіскальніцтва – 5 гадоў
Матэматычная логіка, алгебра і тэорыя лікаў – вобласць матэматычнай навукі, прадметам якой з'яўляецца даследаванне уласцівасцяў цэлых лікаў; вывучэнне мностваў з зададзенымі на іх алгебраічнымі аперацыямі і адносінамі; даследаванні уласцівасцяў мностваў рашэнняў сістэм алгебраічных раўнанняў; вывучэнне агульнай будовы матэматычных тэорый, іх мадэляў і алгарытмічных працэсаў.
Напрамкі падрыхтоўкі
- Лагічныя і логіка-матэматычныя мовы, сістэмы і тэорыі.
- Алгарытмічная адрознасць лагічных і логіка-матэматычных тэорый.
- Тэорыі мностваў.
- Тэорыі алгебраічных структур.
- Алгебраічная геаметрыя і тапалагічная алгебра.
- Тэорыі катэгорый і ўніверсальнай алгебры.
- Аналітычная, алгебраічная, геаметрычная і алгарытмічная тэорыі лікаў.
- Дыяфантавы раўнанні і набліжэнні.
Прафесійныя кампетэнцыі
- Разуменне матэматычнай логікі, алгебры і тэорыі лікаў.
- Веданне сучасных дасягненняў і тэндэнцый у гэтых абласцях.
- Валоданне метадамі доказаў і сімвальнымі вылічэннямі.
- Здольнасць да самастойных навуковых даследаванняў.
- Фармуляванне актуальных навуковых праблем і распрацоўка метадалогіі іх вырашэння.
- Аналіз даных, абагульненне вынікаў і падрыхтоўка публікацый.
- Прымяненне аналітычных метадаў і матэматычных мадэляў для вырашэння практычных задач.
- Сістэмны аналіз, абстрактнае мысленне і лагічная інтэрпрэтацыя.
- Лікавыя разлікі, сімуляцыі і візуалізацыя матэматычных аб'ектаў.
Кар'ерныя перспектывы
- Навукова-даследчая дзейнасць.
- Выкладанне ў вышэйшых установах адукацыі.
- Даследаванні ў матэматычнай логіцы, алгебры і тэорыі лікаў.
- Распрацоўка новых матэматычных тэорый, метадаў і дадаткаў.
- Аналітык, эксперт ці кансультант у розных арганізацыях.
- Удзел у распрацоўцы стратэгічных рашэнняў і аптымізацыі бізнес-працэсаў.
- Кансультаванне па прымяненні матэматычных інструментаў і тэхналогій.
- Стварэнне стартапаў у галіне матэматычных праграмных прадуктаў.
- Камерцыялізацыя вынікаў навуковых даследаванняў.
- Развіццё навукаёмістага бізнэсу на аснове матэматычных метадаў і тэхналогій
