Logika dla informatyków

Wybrane zagadnienia teorii mnogości

Semantyka i weryfikacja programów


Podstawy matematyki

  • Pan Skrzypczak nie był co prawda moim ćwiczeniowcem, nie wiem, jak prowadzi zajęcia, ale byłem u niego kilka razy na konsultacjach. Jak dla mnie super. Więcej się chyba od niego nauczyłem, niż od mojego własnego ćwiczeniowca. Poszedłem się wypytać o kilka rzeczy, bo chciałem się przygotować do poprawki z kolokwium. Ostatecznie wyszło na to, że p. Skrzypczak wytłumaczył mi, o co właściwie w tym całym PMacie chodzi :D Pokazał mi, jak dobrze przeprowadzać dowody, co jest ważne, a co nie itd. Ostatecznie, udało mi się wyciągnąć (w moim mniemaniu) naprawdę wysokie wyniki na poprawce i egzaminie. Oczywiście sam też ćwiczyłem sobie w domu, ale myślę że pomoc tego Pana okazała się tu nieoceniona :) Plus jeszcze za to, że Pan Skrzypczak to wieloletni wspinacz! :D

Języki, Automaty i Obliczenia 1

  • Zajęcia prowadzone bardzo rzetelnie. Widać u Pana Skrzypczaka zrozumienie i zainteresowanie przedmiotem. Na początku można się nieco przerazić wysokim, "PMatowym" stopniem formalizmu, który wprowadza Pan Skrzypczak, jednak w razie jakichkolwiek pytań, Pan Skrzypczak nie szczędzi wyjaśnień, często wprowadza analogie do życia codziennego. Gdy jeden z tematów był trudniejszy i wiele osób się zagubiło, na prośbę studentów o zamieszczenie materiałów z tych zajęć, Pan Skrzypczak następnego dnia wstawił pdfa ze szczegółowym rozwiązaniem zadań. Chętnie prowadzi konsultacje. Polecam!