Czy jest wśród nas ktoś, kto by się interesował logiką matematyczną/teorią mnogości. Chodzi mi przede wszystkim o rachunek predykatów. Marzy mi się wykład, w którym można by pokazać w jaki sposób klasyczna logika funduje tak naprawdę takie rzeczy jak SQL, XPath, XQuery. Niestety ta "matematyka", którą wykłada się na WI (a przynajmniej tak było w moich czasach), jest zbyt nastawiona na praktykę (robienie z ludzi kalkulatorów), a nie teorię. I to jest IMHO bardzo poważna luka w edukacji programistów. Zrozumiałem to dopiero po pójściu na filozofię i zajęciach z teorii mnogości nie żyjącego już prof. Hadrysia.
Taki wykład dosyć ładnie dało by się wspomóc jakimiś planszami/prezentacjami odnośnie zbiorów (jak w programie "pi i sigma" :) ). Kolejna sprawa, to teoria odnośnie rachunku lambda (python, C#3.0, etc.), jak to się ma do maszyny Turinga. Jeśli nie będzie żadnej odpowiedzi, to spróbuję uruchomić jakieś swoje kontakty, może znajdę jakiegoś młodego, zdolnego studenta-logika. :) -- "Meaning is differential not referential" Kazimierz Pogoda Nordic Consulting & Development Company http://www.ncdc.pl/
