plan do pobrania

poniedziałek, 24.09
wtorek, 25.09
śniadanie
08:30 - 10:00
środa, 26.09
czwartek, 27.09
piątek, 28.09
śniadanie
śniadanie
D. Niwiński - W
Z. Adamowicz - Różne formy
poszukiwaniu najkrótszego
predykatu dowodliwości i
opisu: teoria informacji a
niesprzeczności
logika
sobota, 29.09
niedziela, 30.09
śniadanie
śniadanie
śniadanie
K. Budzyńska - Własności
struktur językowo kognitywnych
Nina Gierasimczuk Obliczeniowe własności
skończonej
identyfikowalności
M. T. Godziszewski Twierdzenie Solovaya o
zupełności GL
10:00 - 10:45
J. Kozik - Ilościowe aspekty
logik zdaniowych
10:45 - 11:00
przerwa
przerwa
przerwa
przerwa
przerwa
przerwa
11:00 - 11:45
J. Kozik - Ilościowe aspekty
logik zdaniowych
E. Kopczyński - Spektra
grafów planarnych i o
ograniczonym stopniu
Z. Adamowicz - Różne formy
predykatu dowodliwości i
niesprzeczności
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
Nina Gierasimczuk Obliczeniowe własności
skończonej
identyfikowalności
M. T. Godziszewski - Ciągi
Yablo: istnienie,
niesprzeczność,
interpretacje
11:45 - 12:15
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
12:15 - 13:00
M. Łełyk - Jak słabe są słabe
teorie prawdy?
E. Kopczyński - Spektra
grafów planarnych i o
ograniczonym stopniu
E. Kopczyński Definiowalnosć układów
równań liniowych nad
grupami i pierscieniami
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
Nina Gierasimczuk Obliczeniowe własności
skończonej
identyfikowalności
C. Cieśliński - Paradoks
Yablo w aksjomatycznych
teoriach prawdy
13:00 - 13:15
przerwa
przerwa
przerwa
przerwa
przerwa
przerwa
13:15 - 14:00
M. Łajszczak - Gry
Ehrenfeuchta i modele
arytmetyki dodwania
E. Kopczyński - Spektra
grafów planarnych i o
ograniczonym stopniu
E. Kopczyński Definiowalnosć układów
równań liniowych nad
grupami i pierscieniami
S. Lasota - Zastosowanie
zbiorów FraenklaMostowskiego w
informatyce teoretycznej
Nina Gierasimczuk Obliczeniowe własności
skończonej
identyfikowalności
C. Cieśliński - Paradoks
Yablo w aksjomatycznych
teoriach prawdy
obiad
PRZYJAZD
14:00 - 16:00
16:00 - 16:45
obiad
obiad
M. Wrocławski - Kroneckera M. Mostowski - Intuicjonistyczna
interpretacja kwantyfikatorów w
konstrukcja liczb
π-dziedzinach
algebraicznych
obiad
obiad
obiad
E. Kopczyński Definiowalnosć układów
równań liniowych nad
grupami i pierscieniami
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
S. Lasota - Zastosowanie
zbiorów FraenklaMostowskiego w
informatyce teoretycznej
J. Szymanik - Złożoność
rozumowań epistemicznych
16:45 - 17:00
przerwa
przerwa
przerwa
przerwa
przerwa
przerwa
17:00 - 17:45
T. Steifer - Analogowe
rekurencyjne sieci
neuronowe (ARNN)
D. Niwiński - W
poszukiwaniu najkrótszego
opisu: teoria informacji a
logika
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
S. Lasota - Zastosowanie
zbiorów FraenklaMostowskiego w
informatyce teoretycznej
J. Szymanik - Złożoność
rozumowań epistemicznych
17:45 - 18:15
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
przerwa kawowa
18:15 - 19:00
B. Wcisło - Twierdzenie
Gaifmana o rozdzielaniu
D. Niwiński - W
poszukiwaniu najkrótszego
opisu: teoria informacji a
logika
F. Murlak - Monadyczna
logika drugiego rzędu i
automaty
K. Budzyńska - Własności
struktur językowo kognitywnych
S. Lasota - Zastosowanie
zbiorów FraenklaMostowskiego w
informatyce teoretycznej
J. Szymanik - Złożoność
rozumowań epistemicznych
19:00 - 19:15
przerwa
19:15 - 20:00
J. Kozik - Ilościowe aspekty
logik zdaniowych
od 20:30 lub 21:00
ognisko/grill
przerwa
czas wolny
czas wolny
czas wolny
czas wolny
ognisko/grill
ognisko/grill
ognisko/grill
ognisko/grill
J. Szymanik - Złożoność
rozumowań epistemicznych
ognisko/grill
WYJAZD