 |
 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 |
 |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
IV Sesja Wyjazdowa KNM@UŚ
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Program Sesji | |
|
12 XI 98
14:55 Wyjazd z Katowic. 18:00 Przybycie do Zarzecza. Zakwaterowanie. 19:00 Rozpoczęcie sesji wykładem dr Adama Kolany. 20:00 Kolacja. 20:30 Dyskusja: Czy ludziom trzeba pomagaćś Czy w Polsce są ludzie naprawdę biedniś Naprawdę - to znaczy nie "z wyboru" - przez zaniedbanie i brak odpowiedzialno?ci. Czy ludzie biedni są od nas gorsiś Je?li nie, to po co walczyć z ubóstwemś 13 XI 98 9:00 Śniadanie. 10:00 Rozpoczęcie sesji przedobiedniej - referaty. 14:00 Wyj?cie na obiad. 16:00 Sesja popołudniowa - referaty. 20:00 Kolacja. 20:30 Dyskusja 1: Amnesty International - kto dał im prawo okre?lania ludzkich prawś Dyskusja 2: Reforma szkolnictwa Pana Ministra Handke a rzeczywiste potrzeby zmian w systemie edukacji. 21:30 Zawody w warcaby, szachy i inne gry ?wietlicowe. 14 XI 98 9:00 Śniadanie. 10:00 Rozpoczęcie sesji przedobiedniej - referaty. 14:00 Wyj?cie na obiad. 16:00 Zawody w badmintona i inne zabawy ruchowe. 19:00 Dyskusja: Analiza semantyczno-logiczna tre?ci ustawy o samorządach studenckich. 20:30 Barbeque. 15 XI 98 9:00 Śniadanie. 10:00 Zwiedzanie okolicy. 12:00 Podsumowanie sesji. Wykład dr Marka Szyjewskiego. 13:00 Pakowanie i sprzątanie. Obiad. 16:00 Wyjazd do Katowic. | |
Uczestnicy | |
|
Bujak Łukasz
Czaja Radosław Fechner Włodek Furmankiewicz Agnieszka Gładki Paweł Gołkowska Renata Kolany Adam Kolany Michał Klęczar Mariusz Kurzyniec Angelika |
Korzeniowska Tatiana
Papuga Izabela Pawłowska Joanna Sonelska Bibianna Stanek Ola Trzęsiok Michał Wcisło Żywilla Wieczorek Radosław Szyjewski Marek |
Referaty | |
| dr Adam Kolany | Studium kynologiczne - akcepteriery, obliczury i turingwajlery.Żywilla Wcisło Automaty skończenie stanowe, ASS. Przykłady: tabliczka dodawania i mnożenia; automat rozstrzygajšcy równość, mniejszość, itp. |
| Włodzimierz Fechner | Deterministyczne i niedeterministyczne ASS. ASS z epsilon-ruchami. Dwukierunkowe ASS. Równoważność poszczególnych klas automatów. |
| Włodzimierz Fechner | Automaty Moore'a i Mealy'ego. Przykłady: konwertery między podstawami numeracji, i in. |
| Aleksandra Stanek | Język akceptowany przez ASS. Języki regularne, JR. Równoważność JR i języków ASS-akceptowalnych. Przykłady odpowiednich konstrukcji. |
| Bibianna Sonelska | Lemat o pompowaniu dla JR. Przykład zastosowania: nieprogramowalność sumatorów i multiplikatorów. |
| Bibianna Sonelska | Własności JR. Własności domknięciowe. Algorytmy decyzyjne dla JR. Twierdzenie o minimalizacji ASS. (BS) |
| Łukasz Bujak | Gramatyki bezkontekstowe, GBK. Przykłady. Eliminacja epsilon-produkcji, eliminacja symboli "bezużytecznych". |
| Michał Trzęsiok | Chomskiego i Greibacha twierdzenia o postaci normalnej. Zastosowania. |
| Tatiana Korzeniowska | Automaty ze stosem, AZS. Deterministyczne, DAZS, automaty ze stosem. Akceptacja przy pustym stosie, a akceptacja przy stanie końcowym. |
| Tatiana Korzeniowska | Równoważność NAZS i JBK. Przykłady konstrukcji. |
| Paweł Gładki | Lemat o pompowaniu dla JBK i lemat Ogdena. Zastosowania. Własności domkniętości JBK. Algorytmy decyzyjne dla JBK. |
| Radosław Czaja | Maszyny Turinga, MT: (jedno-) dwustronnie nieograniczone; wielościeżkowe; wielotaśmowe; wsadowe; niedeterministyczne. Równoważność tychże. |
| Radosław Czaja | Maszyny licznikowe ML; maszyny o dostępie bezpośrednim, RAM; maszyny wielostosowe, MWS. Równoważność z MT. |
| Joanna Pawłowska | Funkcje i relacje obliczalne, FObl, RObl. Przykłady. Teza Churcha. Przykłady problemów nieobliczalnych. |
| Joanna Pawłowska | Uniwersalna maszyna Turinga, UMT. |
| mgr Joanna Napiórkowska | Twierdzenia Rice'a. Twierdzenie Greibacha. Zastosowania. |
| mgr Joanna Napiórkowska | Maszyny z wyroczniš. Hierarchia problemóww nierozstrzygalnych |
| Renata Gołkowska | Hierarchia Chomskiego. Chomskiego twierdzenie o hierarchi. |
| Joanna Pawłowska | Złożoność obliczeniowa. Problem PNP. NP-zupełność i NP-trudność problemów. Przykłady.dr Adam Kolany Studium kynologiczne - akcepteriery, obliczury i turingwajlery.Żywilla Wcisło Automaty skończenie stanowe, ASS. Przykłady: tabliczka dodawania i mnożenia; automat rozstrzygajšcy równość, mniejszość, itp. |
| Włodzimierz Fechner | Deterministyczne i niedeterministyczne ASS. ASS z epsilon-ruchami. Dwukierunkowe ASS. Równoważność poszczególnych klas automatów. |
| Włodzimierz Fechner | Automaty Moore'a i Mealy'ego. Przykłady: konwertery między podstawami numeracji, i in. |
| Aleksandra Stanek | Język akceptowany przez ASS. Języki regularne, JR. Równoważność JR i języków ASS-akceptowalnych. Przykłady odpowiednich konstrukcji. |
| Bibianna Sonelska | Lemat o pompowaniu dla JR. Przykład zastosowania: nieprogramowalność sumatorów i multiplikatorów. |
| Bibianna Sonelska | Własności JR. Własności domknięciowe. Algorytmy decyzyjne dla JR. Twierdzenie o minimalizacji ASS. (BS) |
| Łukasz Bujak | Gramatyki bezkontekstowe, GBK. Przykłady. Eliminacja epsilon-produkcji, eliminacja symboli "bezużytecznych". |
| Michał Trzęsiok | Chomskiego i Greibacha twierdzenia o postaci normalnej. Zastosowania. |
| Tatiana Korzeniowska | Automaty ze stosem, AZS. Deterministyczne, DAZS, automaty ze stosem. Akceptacja przy pustym stosie, a akceptacja przy stanie końcowym. |
| Tatiana Korzeniowska | Równoważność NAZS i JBK. Przykłady konstrukcji. |
| Paweł Gładki | Lemat o pompowaniu dla JBK i lemat Ogdena. Zastosowania. Własności domkniętości JBK. Algorytmy decyzyjne dla JBK. |
| Radosław Czaja | Maszyny Turinga, MT: (jedno-) dwustronnie nieograniczone; wielościeżkowe; wielotaśmowe; wsadowe; niedeterministyczne. Równoważność tychże. |
| Radosław Czaja | Maszyny licznikowe ML; maszyny o dostępie bezpośrednim, RAM; maszyny wielostosowe, MWS. Równoważność z MT. |
| Joanna Pawłowska | Funkcje i relacje obliczalne, FObl, RObl. Przykłady. Teza Churcha. Przykłady problemów nieobliczalnych. |
| Joanna Pawłowska | Uniwersalna maszyna Turinga, UMT. |
| mgr Joanna Napiórkowska | Twierdzenia Rice'a. Twierdzenie Greibacha. Zastosowania. |
| mgr Joanna Napiórkowska | Maszyny z wyroczniš. Hierarchia problemóww nierozstrzygalnych |
| Renata Gołkowska | Hierarchia Chomskiego. Chomskiego twierdzenie o hierarchi. |
| Joanna Pawłowska | Złożoność obliczeniowa. Problem PNP. NP-zupełność i NP-trudność problemów. Przykłady. |