Z życia sekcji PTI
Sekcja Języków Informacyjno–Logicznych
Sprawozdanie z działalności w roku 1988
Zarząd sekcji. Na zebraniu sprawozdawczo–wyborczym, które odbyło się 30 stycznia 1988 w Warszawie, wybrano nowy Zarząd w składzie: kol. Andrzej Trybulec (przewodniczący), kol. Edmund Woronowicz (wiceprzewodniczący) i kol. Roman Matuszewski (sekretarz).
W okresie sprawozdawczym sekcja liczyła 27 członków.
Adres sekcji. Filia Uniwersytetu Warszawskiego
ul. Akademicka 2, 15-267 Białystok
Zebrania sekcji. Odbyło się 5 zebrań plenarnych sekcji — w Warszawie, gdyż skupiamy członków z całej Polski i stolica jest najwygodniejszym miejscem spotkań. W zebraniach zawsze brali udział wszyscy członkowie sekcji i zaproszeni goście. Zebrania składały się z trzech części: (1) wykłady na temat języków informacyjno–logicznych i systemu Mizar; (2) godziny klubowe przeznaczone na dyskusję, konsultacje i pokazy komputerowe; (3) kurs Mizara. Uczestnicy zebrań mieli do dyspozycji komputer PC/XT z drukarką. Wygłoszono następujące referaty:
Język Mizar 4 — kol. A. Trybulec
Wykorzystanie Mizara 4 do dowodzenia warunków poprawności przy transformacji programów — kol. W. Woronowicz
Topologia w Mizarze 4 — kol. St. Czuba
Doświadczenia w implementacji języka Mizar — Kris Coolsaet z Uniwersytetu w Gandawie
Dowodzenie własności programów — dr Ahmed Ferchichi z Uniwersytetu w Tunisie.
Działalność naukowo–badawcza sekcji skupiała się wokół badań nad komputerową formalizacją matematyki i systemami komputerowymi opartymi na języku Mizar. Jest to oryginalna tematyka badawcza naszej sekcji, prowadzona wspólnie z Uniwersytetem w Białymstoku. W ramach resortowego programu badań podstawowych RPBP III.24 zrealizowano temat: “Badania eksperymentalne nad efektywnością komputerowo–wspomaganego nauczania logiki i matematyki”. Dla realizacji tego tematu sekcja ma w Białymstoku laboratorium komputerowe, w którym studenci opracowują prace matematyczne w języku Mizar oraz jest prowadzona dydaktyka sztuki dowodzenia.
Sekcja dysponuje prawem rozpowszechniania wersji PC Mizara oraz tekstów matematycznych z Biblioteki Publicznej PC Mizara dla członków Klubu Użytkowników Mizara.
Członkowie sekcji nawiązali kontakty naukowe z Hiszpańskim Towarzystwem Informatycznym oraz z WG 3.1 IFIP w celu ewentualnej współpracy naukowej.
Roman Matuszewski
