Sesja PTLiFN

W sobotę, 10 grudnia 2005 odbędzie się spotkanie członków PTLiFN.

PROGRAM

11:15-12:15, dr Wiktor Bartol, O paradoksach dedukcji,
12:15-12:30 przerwa na kawę

Dyskusja na temat programów i problemów w nauczaniu logiki:
12:30-13:10, prof. Jerzy Pogonowski, Uniwersytecki kurs logiki – fantazje i możliwosci.
13:15-13:35, prof. Ewa Żarnecka, „E-LOGIKA” i „T-LOGIKA” a przyszłość logiki szkolnej.
13:35-14:00, dr Katarzyna Paprzycka, Czego można się nauczyć ucząc logiki on-line?
14:05-14:15 dr Marek Lechniak, Kilka uwag o nauczaniu Logiki
14:15-14:30 c.d. dyskusji
14:30-15:00 przerwa na posiłek w „Kubusiu”
15:00-15:10 Ogłoszenie wyników Konursu na najlepszą pracę z Logiki i jej zastosowań, wręczenie nagród
Krótkie wystąpienia nagrodzonych.
15:15-15:35 mgr Rafał Urbaniak, On Ontological Functors of Leśniewski’s Ontology
15:40-16:00 mgr Małgorzata Maciejewska, Kraty podwójne we wnioskowaniach aproksymacyjnych.

Spotkanie odbędzie się na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, ul. Banacha 2 (wejście od ul. Pasteura) sala 5440.
Dojazd z Dworca Centralnego dowolnym tramwajem w kierunku Okęcia (ok 15 minut) do ulicy Banacha. Następnie pieszo, ok 7 minut.
mapka

Wszystkich zainteresowanych serdecznie zapraszamy!

Grażyna Mirkowska

Jubileusz prof. Marciszewskiego

JUBILEUSZ!

Profesor WITOLD MARCISZEWSKI obchodzi własnie jubileusz 75lecia.

Składamy mu wszyscy najserdeczniejsze życzenia zdrowia i dalszych sukcesów w pracy naukowej i dydaktycznej.

List gratulacyjny

Sesja PTLiFN

Polskie Towarzystwo Logiki i Filozofii Nauki organizuje wiosenne spotkanie członków i sympatyków Towarzystwa. Tematem spotkania będzie

Logika w Informatyce.

Spotkanie odbędzie się 21-go maja 2005 w Warszawie, ul. Koszykowa 86, w budynku Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych (3p. Sala Senatu).

Program spotkania:

11:30 prof. L. Polkowski (PJWSTK), „Zbliżając się do drzewa wiadomości dobrego i złego: Ontologiczne aspekty matematyki i informatyki.”
12:20 prof. D. Niwinski (UW), ” O rozstrzyganiu teorii drzew”.
13:10 dr A. Trybulec (UwB), ” Co nowego w Mizarze?”.
W przerwach kawa, herbata i interesujące dyskusje.
Wszystkich zainteresowanych serdecznie zapraszamy do udziału w tym spotkaniu.

W imieniu Zarządu PTLiFN

Grażyna Mirkowska

Sesja PTLiFN

PTLiFN organizuje seminarium
Logika w Informatyce

24 maja 2003, Polsko-Japońska Szkoła Technik Komputerowych Warszawa, ul. Koszykowa 86

Program seminarium:

10:00-10:40, prof. Leszek Pacholski, Użyteczne rozstrzygalne fragmenty logiki pierwszego rzędu

10:45-11:25, dr hab. Marek Zaionc, Asymptotyczne własności logik zdaniowych, czyli jaką część wszystkich formuł stanowią formuły prawdziwe

11:30-12:10, dr hab. Marian Srebrny, Weryfikacja poprawności protokołów kryptograficznych

12:15-12:55, prof. Wojciech Buszkowski, Funkcje uczące oparte na unifikacji

przerwa na obiad

14:30-15:10, dr hab.Wojciech Penczek, Weryfikacja modelowa dla wielowartościowych logik temporalnych

15:15:16:25, dr hab. Andrzej Szepietowski. Języki z przeplotem

16:30-17:10, prof. Andrzej Salwicki, Logika w informatyce