Utorak, 15.01.2013. u 12 casova, sala 301f MI SANU
Professor Douglas Bridges, University of Canterbury, Christchurch, New Zealand
FUNDAMENTALS OF CONSTRUCTIVE MATHEMATICS

Abstract: Introduction to constructive logic and foundations; the BHK interpretation of logic; omniscience principles; varieties of constructive mathematics: BISH, INT, and RUSS. The real line R; metric and normed spaces; the fundamental theorem of approximation theory. Hilbert space, projections, and compact operators.

References
[1] E. Bishop: Foundations of Constructive Analysis, McGraw-Hill, New York 1967.
[2] E. Bishop and D.S. Bridges: Constructive Analysis, Grundlehren der Math. Wissenschaften279, Springer.Verlag, Heidelberg, 1985.
[3] D.S. Bridges and L.S. Va: Techniques of Constructive Analysis, Universitext, Springer New York, 2006.
[4] D.S. Bridges and L.S. Va: Apartness and Uniformity. a Constructive Development, in: CiE series .Theory and Applications of Computability", Springer Verlag, Heidelberg, 2011.

Petak, 18.01.2013. u 14h sala 301f, MI SANU
Prof Milan Merkle, Elektrotehnicki fakultet, Univerzitet u Beogradu
MATEMATICKI CASOPISI U SVETU I KOD NAS: SADASNJOST I BUDUCNOST

Rezime: Bice reci o dobro poznatim manipulacijama impakt faktorom u cilju vrednovanja casopisa i pojedinaca, kao i o manje poznatim merama koje se u inostranstvu primenjuju i promenama koje se predlazu da bi se stvari dovele na normalu - drugaciji nacini vrednovanja casopisa i pojedinaca. Predavac ce navesti poznate primere zloupotreba iz svetske prakse, kao i mnogobrojne primere iz visegodisnjeg iskustva glavnog urednika casopisa Applicable Analysis and Discrete Mathematics. Bice takodje reci o specificnim problemima i teskocama za organizaciju i funkcionisanje casopisa u Srbiji. Evropski naucni centri daju primat OAJ casopisima ("open access journals"); da li je moguce da i u Srbiji na duze staze zivi OAJ casopis vrhunskog kvaliteta?

Casopis Applicable Analysis and Discrete Mathematics ima trenutno najvisu kategoriju od strane Ministarstva (M21).