Наредни састанак Семинара за биће одржан у уторак, 27. маја 2014, са почетком у 18 часова у сали 809 Математичког факултета.
Предавач: др Надежда Пејовић, редовни професор Математичког факултета
Наслов предавања: Дигитални легат "Милутин Миланковић"
Наредни састанак Семинара биће одржан у уторак, 27. маја 2014, са почетком у 14:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Младен Николић, Математички факултет, Београд
Наслов предавања: SAT РЕШАВАЧИ - СИСТЕМИ ЗА ПРОВЕРУ ЗАДОВОЉИВОСТИ ИСКАЗНИХ ФОРМУЛА
Садржај: Проблем задовољивости исказних формула (SAT проблем) је један од централних проблема теоријског рачунарства.
Поред важног места у теорији сложености израчунавања, које му припада као првом доказано NP комплетном проблему, SAT проблем има и важне практичне примене у областима попут планирања, распоређивања и верификације хардвера и софтвера.
Практични значај овог проблема је инспирисао развој SAT решавача - система за проверу задовољивости исказних формула.
У претходним деценијама ови системи су доживели огроман напредак и у могућности су да провере задовољивост исказних формула које описују практичне проблеме и садрже десетине хиљада променљивих и стотине хиљада клауза. У овом излагању биће описано функционисање модерних SAT решавача.
Посебна пажња биће посвећена најпопуларнијем систему правила - CDCL систему, који служи као основа најефикаснијих SAT решавача.
Наредни састанак ЦГТА семинара биће одржан у уторак, 27. маја 2014, од 18-20h у сали 844 Математичког факултета.
Предавач: Раде Живаљевић
Наслов предавања: Рекапитулација тополошке К-теорије II
Садржај: Међу краћим приказима тополошке К-теорије издвајамо преглед Мадсена и Моиа (кратко ММ), http://www.math.ku.dk/~kmoi/k-theory-notes.pdf , као и знатно краће приказе Питера Меја (REU 2009), Ерика Фридландера, Макса Карубија и других (Google).
Планирамо преглед области "из птичије перспективе" са неколико слетања укључујући и "Hopf invariant one problem".
Акценат ће бити на геометријској интуицији која прати израчунавања у К-теорији.
детаљнијеНаредни састанак Семинара биће одржан у среду, 21. маја 2014, са почетком у 18 часова у сали 301ф, Математичког института САНУ.
Предавач: Борислав Гајић, Математички институт САНУ
Наслов предавања: БРАХИСТОХРОНА ИЛИ КРИВА НАЈБРЖЕГ СПУСТА
Садржај: Биће речи о проблему брахистохроне: наћи криву која спаја две фиксиране тачке А и Б по којој се материјална тачка под дејством силе Земљине теже спуста од А до Б за најкраће време.
Јохан Бернули поставио је тај проблем 1696. године.
На први поглед одговор је изненађујући: решење проблема је циклоида - крива коју описује тачка на ободу точка који се креће.
Представићемо оригинално Бернулијево решење које је засновано на Фермаовом принципу преламања светлости.
Говорићемо и о Галилеју који је 60 година раније посматрао сличан проблем.
Предавање је популарно и намењено је ширем кругу слушалаца.
детаљнијеЗаједнички састанак Одељења за математику и Семинара за геометрију, образовање и визуелизацију са применама биће одржан у уторак, 20. маја 2014, са почетком у 16:30h у сали 301ф Математичког института САНУ.
Предавач: Louis H. Kauffman, Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago
Наслов предавања: INTRODUCTION TO VIRTUAL KNOT THEORY
Садржај: This talk is an introduction to virtual knot theory and an exposition of new ideas and constructions, including the parity bracket polynomial, the arrow polynomial, and virtual knot cobordism. Virtual knot theory is an extension of classical knot theory to stabilized embeddings of circles into thickened orientable surfaces of arbitrary genus. Classical knot theory is the case of genus zero. There is a diagrammatic theory for studying virtual knots and links, and this diagrammatic theory lends itself to the construction of numerous new invariants of virtual knots as well as extensions of known invariants. Many remarkable phenomena occur in the virtual domain.
Наредни састанак Семинара биће одржан у уторак, 20. маја 2014, са почетком у 14:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Живко Бојовић, дипл. инг, Предузеће за телекомуникације "Телеком Србија" а.д.
Наслов предавања: УОПШТЕЊА ТАЛАСНЕ ЈЕДНАЧИНЕ У ОКВИРУ ТЕОРИЈЕ ФРАКЦИОНОГ РАЧУНА
Садржај: Класична таласна једначина, у којој фигуришу целобројни парцијални изводи по просторној и временској координати, може се записати у облику система једначина који чине: једначина кретања, конститутивна једначина и мера деформације.
Како је једначина кретања последица другог Њутновог закона, она се не уопштава.
Конститутивна једначина описује одзив материјала на примењену силу и уопштаваће се коришћењем фракционих извода, чиме се добијају конститутивне једначине које описују класу линеарних вискоеластичних материјала.
Карактеристика оваквих материјала је утицај историје деформације на њену тренутну вредност. Мера деформације представља везу између деформације и померања и, уколико се уопштава у оквиру теорије фракционог рачуна, моделира средине које показују својство просторне нелокалности.
Систем парцијалних диференцијалних једначина целобројног и фракционог реда, који описује таласно кретање, решаван је методом Лапласове трансформације, а решења су дата у облику конволуције принудне силе и језгра решења.
Дати су и нумерички примери.
Приказани резултати су добијени у сарадњи са академиком Теодором Атанацковићем, др Марком Јаневим, доц. др Сањом Коњик, доц. др Љубицом Опарницом и академиком Стеваном Пилиповићем.
детаљнијеНаредни састанак ЦГТА семинара биће одржан у уторак, 20. маја 2014, од 18-20h у сали 844 Математичког факултета.
Предавач: Раде Живаљевић
Наслов предавања: Рекапитулација тополошке К-теорије I
Садржај: Међу краћим приказима тополошке К-теорије издвајамо преглед Мадсена и Моиа (кратко ММ), http://www.math.ku.dk/~kmoi/k-theory-notes.pdf као и знатно краће приказе Питера Меја (REU 2009), Ерика Фридландера, Макса Карубија и других (Google).
Планирамо преглед области "из птичије перспективе" са неколико слетања укључујући и "Hopf invariant one problem").
Акценат ће бити на геометријској интуицији која прати израчунавања у К-теорији.
детаљније© Copyright 2008 Математички факултет Универзитет у Београду
Design & Development
Александар Смиљковић
Адреса: Студентски трг 16,
11158 Београд
Телефон: (+381) 011 2027 801
Fаx: (+381) 011 2630 151
E-mail: matf@matf.bg.ac.rs
Жиро рачун: 840-181 5666-68
PIB: 100046603
