Sekcja Języków Informacyjno–Logicznych
Sprawozdanie z działalności w roku 1989
1. Zarząd sekcji: Andrzej Trybulec — przewodniczący, Edmund Woronowicz — wiceprzewodniczący, Roman Matuszewski — sekretarz. W okresie sprawozdawczym sekcja liczyła 27 członków.
2. Adres sekcji: Filia U.W., ul. Akademicka 2, 15-267 Białystok.
3. Zebrania sekcji: Odbyło się 5 zebrań plenarnych — w Warszawie (PKiN), gdyż sekcja ma członków z całej Polski i stolica jest najwygodniejszym miejscem spotkań. W zebraniach brali udział członkowie sekcji i zaproszeni goście. Zebrania składały się z trzech części: (a) wykładu na temat języków informacyjno–logicznych i systemu Mizar; (b) godzin klubowych przeznaczonych na dyskusję, konsultacje i pokazy komputerowe; (c) kursu Mizara. Uczestnicy zebrań mieli do dyspozycji komputer PC/AT z drukarką. Między innymi wygłoszono następujące referaty:
Computer aided instruction in humanities — dr Yvonne Wilson, University of Toronto
Implementation of Mizar–MSE in Prolog — Susana Nieva Soto, Universidad Complutense de Madrid
THEAX–proof checker for mathematics — dr Yatsuka Nakamura, Shinshu University, Japonia
1. Badania naukowe sekcji skupiały się wokół prac prowadzonych w ramach Resortowego Programu Badań Podstawowych III.24. Zrealizowano temat dotyczący tworzenia biblioteki artykułów matematycznych w PC Mizarze. Do realizacji tego tematu służy kilkanaście własnych komputerów IBM PC/XT (w tym laboratorium dydaktyczne).
Sekcja ma prawo rozpowszechniania wersji PC Mizara i artykułów matematycznych z biblioteki mizarowej dla członków Mizar Users Group.
Roman Matuszewski
