Modalna logika obuhvaća široku familiju formalnih jezika i sistema s brojnim primjenama u računarstvu, lingvistici, filozofiji, teoriji informacija itd. Modalna logika ima iznenađujuće jednostavnu ...sintaksu i relacijsku semantiku koja se gotovo bez modifikacija uklapa u prividno vrlo različite primjene. U ovom članku fokusiramo se na primjenu modalne logike koja je od možda najvećeg interesa za matematičare: formalizaciju Gödelovog predikata dokazivosti, ključnog pojma Gödelovih teorema nepotpunosti. Uobičajenim matematičkim postupkom apstrakcije, ključna svojstava predikata dokazivosti proglašena su aksiomima i polazeći od njih izgrađen je logički sistem. Uz standardnu relacijsku semantiku, topološka semantika također se pokazuje pogodnom, pa i nužnom za jedno proširenje logike dokazivosti koje razmatramo na kraju članka.
Nagrinėjamas matematinių procedūrų atvejis, kai sprendžiant optimizavimo uždavinius taikoma atitinkama minimizavimo funkcija. Atliekant kai kurias procedūras, pvz., topologinių transformacijų ...uždaviniuose, taikoma minimizavimo funkcija neturi minimumo taško, todėl funkcijos minimizavimo nustatymo sprendinys yra nevienareikšmis, t. y. turime begalinį sprendinių skaičių. Tokiu atveju taikomas genetinis algoritmas sprendžia uždavinį iteraciniu metodu, apskaičiuodamas parametrų reikšmes pagal mažiausiuosius nuokrypius nuo nominaliųjų reiksmių. Straipsnyje pateikiama teorinė analizė, kaip nustatoma, kad neegzistuoja optimizavimo funkcijos minimumas (sprendinio daugiareikšmiškumas), kai žemės sklypų plotų riboms optimizuoti kadastro žemėlapiuose taikomos topologijos transformacijos.
Provider: - Institution: - Data provided by Europeana Collections- All metadata published by Europeana are available free of restriction under the Creative Commons CC0 1.0 Universal Public Domain ...Dedication. However, Europeana requests that you actively acknowledge and give attribution to all metadata sources including Europeana
Poznati rezultat iz topologije, Jordanov teorem o krivulji, obično se
navodi kao primjer rezultata čija tvrdnja djeluje očito, ali čiji je dokaz
vrlo složen. U radu su prezentirane neke zanimljivosti ...vezane uz taj
teorem i prikazano je kako se ove ideje mogu koristiti u primjeni, preciznije, u digitalnoj obradi slika.
Provider: - Institution: - Data provided by Europeana Collections- All metadata published by Europeana are available free of restriction under the Creative Commons CC0 1.0 Universal Public Domain ...Dedication. However, Europeana requests that you actively acknowledge and give attribution to all metadata sources including Europeana
U radu su prikazani rezultati realizacije informacionog sistema organa pozadine jedinice. Kroz realizaciju ovog zadatka izvršeno je fizičko povezivanje računara u mrežu i obezbeđenje logičkog ...funkcionisanja sistema na tri nivoa (komandni, upravni i izvršni nivo), projektovanje softverskih aplikacija uz korišćenje modernih softverskih alata, edukacija profesionalnih vojnih lica (PVL) za rad na personalnim računarima (PC) i održavanje informatičke opreme. / We presented the results of the realization of the logistic information system. While fulfilling this task we connected computers physically and succored logical functioning of the system on three levels (command management and execution level). We designed software, using modern software development tools and worked on the education of professional military officials for PC using and basic maintenance of computer equipment.
Urban planning and real estate GIS applications include visualization and analysis of objects, especially buildings, geocoded in three dimensions. Data must be free of topologic errors. Municipal ...community of Ljubljana is building 3D city model for which topologic and geometric rules for data acquisition and logical consistency assurance were formed. Computer software for automatic topology and geometry checking in 3D was elaborated and tested. Visualization of 3D city model is presented in MS Internet Explorer.
Provider: - Institution: - Data provided by Europeana Collections- All metadata published by Europeana are available free of restriction under the Creative Commons CC0 1.0 Universal Public Domain ...Dedication. However, Europeana requests that you actively acknowledge and give attribution to all metadata sources including Europeana
Provider: - Institution: - Data provided by Europeana Collections- All metadata published by Europeana are available free of restriction under the Creative Commons CC0 1.0 Universal Public Domain ...Dedication. However, Europeana requests that you actively acknowledge and give attribution to all metadata sources including Europeana