eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Matemtički kolokvijumPublisher: Naučno društvo matematičara Banja Luka, Banja LukaISSN: 0354-6969Issue: XX (3)Date: 2014Journal Homepage Editorial BoardImpressum   Godel's incompleteness theorem and the problem of termination of programs and games 123 - 135 Filip Morić and Ilija Lalović   AbstractKeywords: Paris and Harington theorem; Ramsey theory; Goodstein's sequences; Kruskal's theorem; Hercules and Hydra game; Program termination; Wagner's hypothesis; Well-foundednessMSC: 03C35 05C55, 06A07 Računanje vrijednosti i kompozicije trigonometrijskih i ciklometrijskih funkcija pomoću Pitagorinog teorema 137 - 144 Bernadin Ibrahimpašić and Selma Kapić   AbstractKeywords: trigonometrijske funkcije; ciklometrijske funkcije; Pitagorin teoremMSC: 33B10, 33B99 Some attachment on the expansion and generalization problems to the triangle geometry 145 - 151 Milorad Beljić   AbstractKeywords: triangle; arithmetic mean; geometric mean; squared mean; geometric inequalitiesMSC: 51M04, 97G40 Corrected Shapiro Inequality 153 - 159 Nenad O. Vesić   AbstractKeywords: equality; inequality; positive real numberMSC: 26E60, 26D15 Nine ways to solve a problem on the triangle 161 - 167 Bratislav Sredojević and Dragoljub Milošević   AbstractKeywords: isosceles triangle; similar triangles; Pythagorean and Stewart' s theorem; sine and cosine law; addition formulas for sineMSC: 51M04, 97G40 Procijena uspješnosti matematičko-humanističkog časopisa MAT-KOL, ISSN 0354-6969 (p), 1986-5228 (o) poslije 20 godina od osnivanja? 169 - 182 Daniel A. Romano   AbstractKeywords: matematičko-humanistički časopis; MAT-KOL; ciljevi osnivanja; koncepcija; izgled i način uredjivanja; saradniciMSC: 0A15, 01A70, 97A50, 97U10 20 godina od prvog takmičenja iz Matematike i osnivanja društva matematičara Republike Srpske 183 - 183 Zoran Kadelburg   AbstractKeywords:

Issue 9 of 9Previous IssueNext Issue Articles 1 - 7 of 7Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 216.73.216.147 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)