Instytut Informatyki – wykłady

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