Interaktywne łamigłówki logiczne
Dr Adam Naumowicz
Forma: wykład/prezentacja
W trakcie wykładu zademonstrowane zostaną dwie popularne łamigłówki logiczne oraz ich prosta implementacja w postaci interaktywnej strony webowej. Do ich stworzenia wystarczą nam podstawowe programy, takie jak dowolny edytor tekstu i przeglądarka WWW z obsługą języka JavaScript.
Miejsce: sala 2001
Czas Trwania: 45 min
Termin: 24 marca 2023 (piątek), 13:15
Komputerowe dowodzenie twierdzeń matematycznych
Dr Adam Naumowicz
Forma: wykład/prezentacja
Wykład wprowadza w tematykę wykorzystania komputerów do inteligentnego gromadzenia wiedzy matematycznej. Zaprezentowany zostanie system Mizar służący do interaktywnego tworzenia i sprawdzania poprawności logicznej matematycznych dowodów i formułowanych definicji.
Miejsce: sala 2001
Czas Trwania: 45 min
Termin: 24 marca 2023 (piątek), 14:15
