Претраживање
Приказ резултата 11-20 од 25
Lokalno konačni varijeteti sa polu-distributivnom mrežom kongruencija
(Универзитет у Београду, Математички факултет, 15-07-2016)
Predmet ove disertacije je sintaksna karakterizacija kongruencijske polu{distributiv-
nosti (u odnosu na inmum) lokalno konacnih varijeteta Maljcevljevim uslovima
(posmatramo varijetete idempotentnih algebri). Dokazujemo ...
Doprinos zračenja galaksija i galaktičkih jata pozadinskom gama zračenju
(Универзитет у Београду, Математички факултет, 06-12-2016)
Izučavanje kosmičkog zračenja, veoma je bitno za razumevanje fizičkih procesa na
visokim energijama, a energije do kojih čestice mogu da se ubrzaju u svemiru mnogo
su više od energija koje čovek trenutno može da postigne ...
Анализa пребројивих модела потпуних теорија линеарно уређених структура
(Универзитет у Београду, Математички факултет, 25-08-2016)
У овој тези изучавамо линеарно уређене структуре и њихове потпуне
теорије. Главни технички алат који користимо у нашој анализи су кондензације, тј. разлагање уређења у конвексне делове и изучавање количничке структуре и ...
Дифузионо-таласна једначина разломљеног реда са концентрисаним капацитетом и њена апроксимација методом коначних разлика / Fractional diffusion-wave equation with concentrated capacity and its finite difference approximation
(Универзитет у Београду, Математички факултет, 18-03-2016)
Дифузионо-таласна једначина разломљеног реда по веременској променљивој добија се из класичне дифузионе или таласне једначине заменом првог, односно другог извода по временској променљивој изводом разломљеног реда...
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације
(Универзитет у Београду, Математички факултет, 08-12-2016)
SMT решавачи имплементирају процедуре одлучивања за испитивање задовољивости логичких формула првог реда у односу на неку унапред задату одлучиву теорију. Ослањајући се на моћне технике за решавање проблема исказне ...
Konstrukcija i osobine kontrolnih kartica za stacionarne i nekorelisane podatke / Design and performances of control chartsfor stationary and uncorrelated data
(Универзитет у Београду, Математички факултет, 30-05-2016)
Tema ove doktorske disertacije pripada oblasti kontrole kvaliteta, koja predstavlja praktično korišćenje statistike prilikom praćenja i poboljšavanja proizvodnog procesa. 1930. godine Volter Šuhart je počeo da proučava ...
Асимптотска својства непараметарских тестова заснованих на U-статистикама и V-статистикама са недегенерисаним и слабо дегенерисаним језгром / Asymptotic properties of non-parametric and V-statistics with non-degenerate and weakly degenerate kernel.
(Универзитет у Београду, Математички факултет, 06-05-2016)
Тестови сагласности са расподелом и тестови симетрије заузимају значајно место у непараметарској статистици...
Пресликавања контрактивног типа и њихове примене у нелинеарној анализи
(Универзитет у Београду, Математички факултет, 30-09-2016)
У овој дисертацији су приказане неке нове особине извесних пресликавања контрактивног типа, и дате су примене тих резултата у нелинеарној
анализи. Дисертација садржи шест поглавља.
Прво поглавље садржи основне особине полу ...
Spektroskopska i fotometrijska analiza bliskih galaksija različitih morfoloških tipova
(Универзитет у Београду, Математички факултет, 14-07-2016)
Cilj ove disertacije jeste svod-enje visedimenzionalnog prostora osobina galaksija na najmanji
broj dimenzija, dovoljan da ih opise. U tu svrhu primenjena je statisticka analiza
nad skupom parametara koji oslikavaju ...
Формализација и аутоматско доказивање теорема еуклидске геометрије
(Универзитет у Београду, Математички факултет, 07-09-2016)
Напредак геометрије кроз векове се може разматрати кроз развој различитих аксиоматских система који је описују. Употреба аксиоматских система започиње са Хилбертом и Тарским али се ту не завршава. Чак и данас се развијају ...