"Od logiki do informatyki - podróż językowa", Londyn, Wlk. Brytania
13 Lutego 2013 - 13 Lutego 2013
Zjednoczone Królestwo
Dnia 13 lutego 2013 r. w Londynie, Wlk. Brytania, wygłoszony zostanie wykład pt. "Od logiki do informatyki - podróż językowa" (From Logic to computer science: a linguistic journey).
Sztuczne języki dały początek jednym z największych przedsięwzięć intelektualnych XX w. Osiągnęły dojrzałość w logice matematycznej w latach 30. XX w. w pogoni za metamatematyką - matematyką matematyk. Pierwsze współczesne języki programowania powstały w latach 50. i umożliwiły napisanie dzisiejszych złożonych systemów oprogramowania, wykonujących niezliczone zadania, na których obecnie polegamy.
Wykład poświęcony będzie wzajemnej zależności między logiką a informatyką, wyjaśniając na czym polega zrozumienie sztucznego języka.Więcej informacji:
http://royalsociety.org/events/2013/logic-computer-science/(odnośnik otworzy się w nowym oknie)
Sztuczne języki dały początek jednym z największych przedsięwzięć intelektualnych XX w. Osiągnęły dojrzałość w logice matematycznej w latach 30. XX w. w pogoni za metamatematyką - matematyką matematyk. Pierwsze współczesne języki programowania powstały w latach 50. i umożliwiły napisanie dzisiejszych złożonych systemów oprogramowania, wykonujących niezliczone zadania, na których obecnie polegamy.
Wykład poświęcony będzie wzajemnej zależności między logiką a informatyką, wyjaśniając na czym polega zrozumienie sztucznego języka.Więcej informacji:
http://royalsociety.org/events/2013/logic-computer-science/(odnośnik otworzy się w nowym oknie)