Kalendář akcí

20.11.2018

Zasedání Učené společnosti

2. část: zajišťuje I. sekce věd matematicko-fyzikálních Přednáška: Dr. Cynthie Heiner (Freie Universität Berlin): „The Science behind Science Education“

11.12.2018

Veřejná přednáška „Historie chovu starokladrubských koní (jediné plemeno na světě, chované pro ceremoniální účely)“

Učená společnost ČR Vás srdečně zve na veřejnou přednášku Ing. Lenky Gotthardové (ZČU v Plzni, starostka obce Kladruby n. L.): „Historie chovu starokladrubských koní (jediné plemeno na světě, chované pro ceremoniální účely)“. Přednáška se koná v úterý 11. prosince 2018 od 17:00 hod. v místnostech 205, 506 budovy AV ČR, Národní 3, Praha 1.

14.12.2018

Adventní setkání

Nadační fond

Hájek Petr

Prof., RNDr., DrSc.
Born February 6, 1940 in Prague, † December 26, 2016

  • Mathematical logic
  • Member of Learned Society since 1996

Educational and professional preparation:

  • 1962, graduated, Faculty of Mathematics and Physics, Charles University, thesis on algebra;
  • 1965, post-graduate student, Institute of Mathematics of the CSAS (mathematical logic, PhD. thesis on set theory);
  • 1990, CSc. and DrSc.;
  • 1993, Associate Professor, CU;
  • 1994-present, Honorary Professor, Technical University, Vienna;
  • 1997, Professor, CU

Employment and academic positions:

  • Till 1992, Institute of Mathematics CSAS/AS CR (last period as head scientific worker)
  • 1992-2000, Director, Institute of Computer Science, AS CR (now senior scientific worker there)

Membership in domestic scientific bodies:

  • Member, Accreditation Commission, Ministry of Education, Youth and Sports CR
  • Member, Council for Sciences, AS CR

Membership and positions in selected international organizations and societies:

  • Member, Association for Symbolic Logic (twice member of Council)
  • 1995-1999, First Vice-President, International Union of the History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science
  • 1999-2003, President, Kurt Gödel Society
  • Member, editorial boards, Czechoslovak Mathematical Journal, Studia Logica, Archive for Mathematical Logic, Soft Computing, Fundamenta Informaticae

Selected publications:

  • Vopěnka P., Hájek P.: The theory of semisets. North-Holland Publ. Comp. 1972, 332 pp.
  • Hájek P., Havránek T., Chytil M.: Metoda GUHA – automatická tvorba hypotéz. (GUHA Method - automatic hypothesis formation), Academia, Prague 1983, 316 pp.
  • Hájek P., Havránek T.: Mechanizing hypothesis formation (mathematical foundations for a general theory), Springer-Verlag, Berlin-Heidelberg-New York, 1978, 398 pp.
  • Hájek P., Pudlák P.: Metamathematics of first-order arithmetic, Springer-Verlag 1993, 460 pp.
  • Hájek P., Havránek T., Jiroušek R.: Processing uncertain information in expert systems, C.R.C. Press (USA) 1992, 285 pp.
  • Hájek P.: Metamathematics of Fuzzy Logic. Kluwer 1998, 297 pp.

Zpět na seznam článků

Novinky

07.11.18

Pozvánka na veřejnou přednášku Historie chovu starokladrubských koní

Učená společnost ČR Vás srdečně zve na veřejnou přednášku Ing. Lenky Gotthardové: Historie chovu starokladrubských koní. Přednáška se koná v úterý 11. prosince 2018 od 17:00 hod. v místnostech 205, 506 budovy AV ČR, Národní 3, Praha 1.

07.11.18

Pozvánka na plenární přednášku s přizváním veřejnosti – Dr. Cynthia Heiner (Freie Universität Berlin): The Science Behind Science Education“

Přednáška (v angličtině) o metodách aktivního vyučování přírodovědných a technických oborů na vysokých školách se koná v úterý 20. 11. 2018 od 16:00 hod. v místnostech 205, 206 budovy AV ČR, Národní 3, Praha 1.

Anotace (PDF, 44 kB), Pozvánka (383 kB)

07.11.18

Úmrtí člena Učené společnosti prof. RNDr. Emila Palečka, DrSc.

30. 10. 2018 zemřel ve věku 88 let zakládající člen Učené společnosti ČR prof. Emil Paleček, zakladatel oboru elektrochemie nukleových kyselin, dlouholetý pracovník Biofyzikálního ústavu AV ČR, v. v. i.  Elektrochemie nukleových kyselin se stala základem nového vědního oboru a potencionálně velké využití má zejména v biomedicíně, diagnostika rakoviny by díky ní mohla být rychlejší a přesnější než stávající optické metody. Paleček se v poslední době zabýval analýzou glykoproteinů, spolupracoval také s Masarykovým onkologickým ústavem v Brně.