Uniwersytet Warszawski University of Warsaw
Wyszukiwarka
 W bieżącym katalogu

Profesor Hoare doktorem honoris causa Uniwersytetu Warszawskiego

2012-11-26, 12:15
s. duża aula (Wydział Biologii UW)

2012-11-15 13:10:34
Krzysztof Diks
Odpowiedz

Na wniosek Rady Wydziału Matematyki, Informatyki i
Mechaniki,

Sir Charles Antony Richard Hoare

otrzymał doktorat honorowy Uniwersytetu Warszawskiego.

Promotorem doktoratu jest pan profesor Władysław M. Turski.

W związku z tym wydarzeniem, w poniedziałek 26 listopada
2012 r., o godz. 12.15, w dużej auli Wydziału Biologii, ul.
I. Miecznikowa 1, laureat wygłosi otwarty, godzinny wykład:

Could computers understand their own programs?

Summary: I interpret this question by drawing on the logic
of Aristotle, the geometry of Euclid, and the discovery of
assertions by Alan Turing. I suggest an analogue of the
Turing test for testing the understanding of computers. It
is by an interactive (viva voce) examination, in the same
way that we test the understanding of our students. The
essential criterion of understanding is that the student can
justify each answer with evidence explaining the why it
follows. The computer passes the test if its answers to
questions are of practical value to professional
programmers.


We wtorek 27 listopada 2012, w godzinach 10.15-11.45, w sali
5440 Wydziału MIM, ul. Banacha 2, odbędzie się otwarte
spotkanie laureata ze studentami i doktorantami.

Zainteresowanych serdecznie zapraszam.

Dziekan Wydziału MIM
prof. dr hab. Andrzej Tarlecki