Data dodania: 2026-04-25
Spotkanie akademickie "Świat prawdy i fałszu – pierwsze kroki w logice" na Politechnice Gdańskiej
W ostatnią sobotę kwietnia 2026 roku w Centrum Matematyki Politechniki Gdańskiej odbyło się spotkanie akademickie dla uczniów szkół podstawowych uzdolnionych matematycznie. Tematem przewodnim spotkania był wstęp do logiki matematycznej. W spotkaniu wzięło udział 30 uczniów.
Spotkanie podzielone było na trzy bloki tematyczne. Na wykładzie uczestnicy poznali sylwetki George Boole’a i Claude Shannon’a, dowiadując się, jak ich odkrycia ukształtowały współczesną logikę i informatykę. Poznali czym są zdania proste i złożone oraz jakie podstawowe spójniki są wykorzystywane do ich tworzenia. Nauczyli się wyznaczać wartości logiczne zdań złożonych, czym jest tautologia i jak określać czy dane zdanie jest tautologią. Ta część zajęć zakończyła się prezentacją technik rozwiązywania zagadek logicznych oraz nakreśleniem możliwości wykorzystania arkusza kalkulacyjnego do tego typu obliczeń.
Następnie odbyły się ćwiczenia, w czasie których uczniowie z dużym zaangażowaniem przystąpili do praktycznego rozwiązywania zadań. Zmierzyli się zarówno z klasycznym wyznaczaniem wartości logicznych zdań, jak i z rozbudowanymi zagadkami z treścią, które wymagały analitycznego myślenia i zastosowania metod poznanych podczas wykładu.
Po zasłużonej przerwie na posiłek uczestnicy udali się do pracowni komputerowej. Krok po kroku uczyli się obsługi programu Excel w kontekście logiki matematycznej. Wykorzystali arkusz kalkulacyjny do konstruowania tabel prawdy, co pozwoliło im na automatyzację procesów analitycznych i samodzielne rozwiązywanie znacznie bardziej złożonych zagadek logicznych przy użyciu komputera.
Wydarzenie spotkało się z dużym zainteresowaniem i zadowoleniem ze strony uczniów, pozwalając im w praktyczny i atrakcyjny sposób połączyć abstrakcyjne pojęcia matematyczne z narzędziami informatycznymi.