Wykłady dla doktorantów Środowiskowych Studiów Doktoranckich w zakresie informatyki w roku akademickim 2011/2012

Transkrypt

1 Wykłady dla doktorantów Środowiskowych Studiów Doktoranckich w zakresie informatyki w roku akademickim 2011/ prof. dr hab. Wojciech Rytter: Algorytmika kombinatoryczno-grafowa (30 g. semestr zimowy + 30 g. semestr letni) - prof. dr hab. Wojciech Rytter; Metody projektowania efektywnych algorytmów (30 g. semestr zimowy + 30 g. semestr letni) - prof. dr hab. Daniel Simson: Algorytmy klasyfikujące grafy dwukolorowe, typy Coxetera oraz geometrie toroidalno-tubularne (30 g. semestr zimowy) - dr hab. Krzysztof Stencel, prof. UMK: Bazy danych XXI wieku (30 g. semestr zimowy) Wykłady dla studentów, które mogą być zaliczane jako wykłady kierunkowe: - dr hab. Piotr Bała, prof. UMK: WdW Systemy gridowe (30 g. semestr zimowy) - dr hab. Edward Ochmański, prof. UMK: WdW Wybrane zagadnienia teorii współbieżności (30 g. semestr zimowy) - prof. dr hab. Maciej Sysło: WdW Teoria grafów w ujęciu algorytmicznym (30 g. semestr zimowy) Inne zajęcia: - prof. dr hab. Daniel Simson: Rozwój teorii matematycznych (konwersatorium, 15 g. semestr letni) - dr Bogumiła Klemp-Dyczek: Język angielski w matematyce (konwersatorium, 30 g. zajęcia całoroczne) Wykłady dla uczestników Środowiskowych Studiów Doktoranckich w zakresie informatyki proponowane w roku akademickim 2010/11 Wykłady monograficzne (całoroczne 60 godzin) 1

2 - prof. dr hab. Wojciech Rytter: Projektowanie efektywnych algorytmów kombinatorycznych - dr hab. Grzegorz Jarzembski, prof. UMK: Podstawy matematyki współczesnej - prof. dr hab. Daniel Simson: Błądzenie na posetach, morsyfikacje, obliczenia symboliczne i graficzne algorytmy oczkowe Wykłady z dyscypliny kierunkowej (semestr zimowy 30 godzin) - dr hab. Edward Ochmański, prof. UMK: Sieci Petriego jako maszyny obliczające funkcje - prof. dr hab. Wojciech Rytter: Złożoność obliczeniowa problemów związanych z tekstami i drzewami 1 Wykłady z dyscypliny kierunkowej (semestr letni 30 godzin) - dr hab. Grzegorz Jarzembski, prof. UMK: Transformacje grafów - prof. dr hab. Wojciech Rytter: Złożoność obliczeniowa problemów związanych z tekstami i drzewami 2 Wykłady dla studentów, proponowane również doktorantom Są to wykłady kursowe i fakultatywne, przeważnie z ćwiczeniami (nieobowiązkowymi dla doktorantów) semestr zimowy godzin - dr hab. Krzysztof J. Stencel, prof. UMK: systemy zarządzania bazami danych (45 godz.) - dr hab. Wojciech Niemiro, prof. UMK: Symulacje stochastyczne - dr hab. Grzegorz Jarzembski, prof. UMK: Programowanie równościowe i funkcyjne - dr hab. Edward Ochmański, prof. UMK: Wybrane zagadnienia teorii współbieżności - prof. dr hab. Maciej M. Sysło: Algorytmy kombinatoryczne 45 godz. - prof. dr hab. Włodzisław Duch (WFAiIS): Wstęp do kognitywistyki - prof. dr hab. Włodzisław Duch (WFAiIS): Sieci neuronowe - prof. dr hab. Wiesław Nowak (WFAiIS): Metody modelowania molekularnego z elementami biofizyki 2

3 semestr letni godzin - dr hab. Piotr Bała, prof. UMK: Wprowadzenie do obliczeń wielkoskalowych (45 godz.) - dr hab. Wojciech Niemiro, prof. UMK: Symulacje stochastyczne - prof. dr hab. Włodzisław Duch (WFAiIS): Wstęp do metod sztucznej inteligencji - prof. dr hab. Włodzisław Duch (WFAiIS): Wstęp do kognitywistyki Inne zajęcia - dr Bogumiła Klemp-Dyczek: Język angielski w matematyce (15 godz godz.) - prof. dr hab. Urszula Żegleń: Filozofia (30 godz godz.) - Lektorat z języka obcego (zajęcia roczne fakultatywne) Wykłady dla uczestników Środowiskowych Studiów Doktoranckich w zakresie informatyki proponowane w roku akademickim 2009/10 Wykłady monograficzne (całoroczne 60 godzin) - prof. dr hab. Wojciech Rytter: Algorytmy tekstowe - prof. dr hab. Daniel Simson: Algorytmiczne błądzenia kwadratowe na skończonych grafach i posetach z zastosowaniami w teorii reprezentacji Wykłady z dyscypliny kierunkowej (semestr zimowy 30 godzin) - prof. dr hab. Wojciech Rytter: Algorytmy kombinatoryczne i grafowe I - dr hab. Krzysztof J. Stencel, prof. UMK: Problemy badawcze baz danych Wykłady z dyscypliny kierunkowej (semestr letni 30 godzin) - prof. dr hab. Wojciech Rytter: Algorytmy kombinatoryczne i grafowe II 3

4 - dr hab. Edward Ochmański, prof. UMK: Granice rozstrzygalności Wykłady dla studentów, proponowane również doktorantom Są to wykłady kursowe i fakultatywne, przeważnie z ćwiczeniami (nieobowiązkowymi dla doktorantów) semestr zimowy 30 godzin - prof. dr hab. Włodzisław Duch: Sztuczna inteligencja i systemy ekspertowe - prof. dr hab. Adam Jakubowski: Metody i modele probabilistyczne - dr hab. Grzegorz Jarzembski, prof. UMK: Programowanie równościowe i funkcyjne - dr hab. Wojciech Niemiro, prof. UMK: Symulacje stochastyczne - dr hab. Edward Ochmański, prof. UMK: Wybrane zagadnienia współbieżności - dr hab. Tomasz Schreiber, prof. UMK 1: Wstęp do sieci neuronowych - dr hab. Tomasz Schreiber, prof. UMK 3: Algorytmy stochastyczne (po wykładzie TS 1 lub TS 2) - prof. dr hab. Maciej M. Sysło: Algorytmy kombinatoryczne semestr letni 30 godzin - prof. dr hab. Włodzisław Duch: Inteligencja obliczeniowa - prof. dr hab. Adam Jakubowski: Statystyka i eksploracja danych - dr hab. Grzegorz Jarzembski, prof. UMK: Logiczne aspekty informatyki - dr hab. Tomasz Schreiber, prof. UMK 2: Wstęp do sieci bayesowskich Inne zajęcia - prof. dr hab. Daniel Simson: Metodologia i rozwój warsztatu pracy matematyka konwersatorium (semestr letni 15 godzin) - dr Bogumiła Klemp-Dyczek: Język angielski w matematyce konwersatorium (całoroczne 30 godzin) - Lektorat z języka obcego (zajęcia roczne fakultatywne) 4

5 Zajęcia dla uczestników Środowiskowych Studiów Doktoranckich w zakresie informatyki proponowane w roku akademickim 2008/2009 Wykład monograficzny: -Prof. dr hab. Wojciech Rytter Algorytmy na tekstach, (60) Wykłady z dyscypliny kierunkowej: -Prof. dr hab. Adam Jakubowski Procesy punktowe i metoda Chena-Steina, (60) -Prof. dr hab. Wojciech Rytter Algorytmika kombinatoryczna, (60) semestr zimowy -Prof. dr hab. Włodzisław Duch Inteligencja obliczeniowa,(30) -Prof. dr hab. Włodzisław Duch Wstęp do sztucznej inteligencji, (30) -Dr hab. Wojciech Niemiro, prof. UMK Symulacje stochastyczne, (30) -Dr hab. Krzysztof Stencel, prof. UMK Systemy zarządzania bazami danych, (30) -Prof. dr hab. Paweł Urzyczyn Teoria obliczeń, (30) -Prof. dr hab. Paweł Urzyczyn Teoria złożoności obliczeniowej, (30) semestr letni -Prof. dr hab. Włodzisław Duch Jak działa mózg, (30) -Prof. dr hab. Włodzisław Duch Modelowanie funkcji mózgu, (30) -Dr hab. Edward Ochmański, prof. UMK Wybrane zagadnienia teorii współbieżności (30) -Dr hab. Krzysztof Stencel, prof. UMK Obiektowe bazy danych, (30) Inne zajęcia: -Dr hab. Urszula Żegleń, prof. UMK Filozofia -Dr Bogumiła Klemp-Dyczek Język angielski w matematyce (konwersatorium) -Lektorat z języka obcego (zajęcia roczne fakultatywne) 5

6 Zajęcia dla doktorantów z informatyki w roku akad. 2007/2008 Wykład monograficzny: - Prof. dr hab. Wojciech Rytter, Algorytmy związane ze słowami i drzewami Wykłady z dyscypliny kierunkowej: - Prof. dr hab. Wojciech Rytter, Metody projektowania efektywnych algorytmów. Semestr zimowy - Prof. dr hab. Paweł Urzyczyn, Teoria złoŝoności obliczeniowej - Prof. dr hab. Włodzisław Duch, Wstęp do sztucznej inteligencji - Dr hab. Tomasz Schreiber, Algorytmy stochastyczne - Dr hab. Tomasz Schreiber, Sieci neuronowe - Dr hab. Piotr Bała, Technologie gridowe - Dr hab. Edward Ochmański, Teoria współbieżności Semestr letni - Prof. dr hab. Paweł Urzyczyn, Rachunek lambda - Dr hab. Tomasz Schreiber, Sieci bayesowskie - Dr Piotr Malicki, tytuł będzie podany później - Prof. dr hab. Daniel Simson, tytuł będzie podany później - Dr hab. Wojciech Niemiro Metody Monte Carlo i łańcuchy Markowa - Dr hab. Edward Ochmański, Sieci Petriego i ich zastosowania Inne zajęcia: - Prof. dr hab. Andrzej Tyc, Metodyka pisania prac naukowych - Dr hab. Urszula śegleń, Filozofia - Dr Bogumiła Klemp-Dyczek, Język angielski w matematyce (konwersatorium) - Lektorat z języka obcego (zajęcia roczne fakultatywne) 6

7 Zajęcia dla doktorantów z informatyki w roku akad. 2006/2007 Wykłady monograficzne 1. "Złożoność algorytmow tekstowych" - prof. dr hab. Wojciech Rytter 2. "Logika intuicjonistyczna" - prof. dr hab. Paweł Urzyczyn (PDF) Wykłady z dyscypliny kierunkowej Semestr I 1. "Symulacje stochastyczne" - prof. dr hab. Wojciech Niemiro 2. "Sieci Petriego" - prof. dr hab. Edward Ochmański 3. "Wybrane algorytmy kombinatoryczno-grafowe" - prof. dr hab. Wojciech Rytter (PDF) 4. "Wstęp do przetwarzania sygnałow i obrazow" - dr Maria Berndt-Schreiber 5. "Wstęp do sieci neuronowych" - dr Tomasz Schreiber 6. "Wstęp do teorii obliczeń" - prof. dr hab. Paweł Urzyczyn (PDF) 7. "Wybrane algorytmy algebry komputerowej" - prof. dr hab. Zygmunt Pogorzały Semestr II 1. "Projektowanie wspomagane komputerowo" - prof. dr hab. Piotr Bała 2. tytuł będzie podany później - prof. dr hab. Grzegorz Jarzembski 3. "Teoria informacji" - prof. dr hab. Brunon Kamiński 4. "Lingwistyka wspołbieżności" - prof. dr hab. Edward Ochmański 5. tytuł będzie podany później - prof. dr hab. Wojciech Rytter 6. "Algorytmy stochastyczne" - dr Tomasz Schreiber 7. tytuł będzie podany później - prof. dr hab. Maciej Sysło 8. "Teoretyczne podstawy systemow wspomagających dowodzenie" - prof. dr hab. Paweł Urzyczyn Seminarium doktoranckie 1. "Obliczenia rozproszone i rownoległe" - prof. dr hab. Piotr Bała 2. "Teoria wspołbieżności" - prof. dr hab. Edward Ochmański 3. "Wybrane zagadnienia algorytmiki" - prof. dr hab. Wojciech Rytter 4. "Logika w informatyce" - prof. dr hab. Paweł Urzyczyn 7

8 Zajęcia dodatkowe 1. "Język angielski w matematyce i informatyce - konwersatorium" - dr Bogumiła Klemp-Dyczek 2. "Metodyka pisania prac naukowych" - prof. dr hab. Andrzej Tyc 3. Wykład z filozofii - prof. dr hab. Urszula Żegleń 4. Lektorat z języka obcego (zajęcia roczne fakultatywne) Programy wykładów oraz informacje o dniach i godzinach zajęć znajdują się na tablicy ogłoszeń dla studentów 8

9 Zajęcia dla doktorantów z informatyki w roku akad. 2005/2006 Wykład monograficzny _ "Złożoność algorytmow tekstowych" - prof. dr hab. Wojciech Rytter (PDF) _ "Rachunek lambda" - prof. dr hab. Paweł Urzyczyn (PDF) Wykłady z dyscypliny kierunkowej Wykłady roczne _ "Sieci Petriego" - prof. dr hab. Edward Ochmański _ "Technologie gridowe" - prof. dr hab. Piotr Bała _ tytuł będzie podany później - prof. dr hab. Grzegorz Jarzembski Semestr I _ "Teoria szybkich algorytmow rownoległych" - prof. dr hab. Wojciech Rytter (PDF) _ "Logika i obliczenia (Izomorfizm Curry'ego-Howarda)" - prof. dr hab. Paweł Urzyczyn (PDF) _ "Lingwistyka wspołbieżności" - prof. dr hab. Edward Ochmański _ "Symulacje stochastyczne" - prof. dr hab. Wojciech Niemiro _ "Wstęp do przetwarzania sygnałów i obrazów" - dr Maria Berndt-Schreiber Semestr II _ "Algorytmika kombinatoryczna" - prof. dr hab. Wojciech Rytter (PDF) _ tytuł będzie podany później - prof. dr hab. Maciej Sysło _ "Podstawy przetwarzania sygnałów" - prof. dr hab. Adam Jakubowski _ "Logika liniowa" - prof. dr hab. Paweł Urzyczyn (PDF) _ "Teoria informacji" - prof. dr hab. Brunon Kamiński _ "Algorytmy algebry komputerowej" - prof. dr hab. Zygmunt Pogorzały Seminarium doktoranckie _ "Wybrane zagadnienia algorytmiki" - prof. dr hab. Wojciech Rytter 9

10 _ "Logika w informatyce" - prof. dr hab. Paweł Urzyczyn Zajęcia dodatkowe _ "Metodyka pisania prac naukowych" (III rok) - prof. dr hab. Andrzej Tyc _ lektorat języka angielskiego (I, II i III rok) - dr Bogumiła Klemp-Dyczek Programy wykładów oraz informacje o dniach i godzinach zajęć znajdują się na tablicy ogłoszeń dla studentów 10