Seminarium
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 11:22, 21 maj 2008 (edytuj) Kamasa (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 06:24, 14 cze 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Styczeń 2008) Następna edycja → |
||
Linia 19: | Linia 19: | ||
==Styczeń 2008== | ==Styczeń 2008== | ||
- | * Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): '''Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.''' <br>23 stycznia. | + | * Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): '''Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.''' <br>23 stycznia. <br> [[Media: robertsochacki.pdf | Tekst odczytu. ]] |
- | * Jerzy Pogonowski, Mgr Joanna Smigerska: '''O kwantyfikatorach uogólnionych.''' <br>16 stycznia. .<br> [[Media: semzls160108.pdf | Tekst odczytu. ]] | + | * Jerzy Pogonowski, Mgr Joanna Smigerska: '''O kwantyfikatorach uogólnionych.''' <br>16 stycznia. <br> [[Media: semzls160108.pdf | Tekst odczytu. ]] |
* Jerzy Pogonowski: '''Reguła rezolucji i tablice analityczne w ''Symbolic Logic'' Lewisa Carrolla.''' <br>9 stycznia.<br> [[Media: semzls090108.pdf | Tekst odczytu. ]] | * Jerzy Pogonowski: '''Reguła rezolucji i tablice analityczne w ''Symbolic Logic'' Lewisa Carrolla.''' <br>9 stycznia.<br> [[Media: semzls090108.pdf | Tekst odczytu. ]] |
Wersja z dnia 06:24, 14 cze 2008
Spis treści |
Plan
Kwiecień 2008
- Dr Dorota Lipowska: Gra w nazywanie jako model ewolucji języka.
24 kwietnia. Tekst odczytu.
- Mgr Victoria Kamasa: Gimnastyka liturgiczna. Komunikowanie pozawerbalne w liturgii mszalnej w perspektywie goffmanowskiej.
10 kwietnia. Prezentacja.
Marzec 2008
- Mgr Marcin Junczys-Dowmunt: Niemieckie wyrazy złożone oraz ich polskie odpowiedniki. Automatyczna ekstrakcja jednostek dwujęzycznych z korpusów równoległych. (II)
27 marca.
Luty 2008
- Mgr Marcin Junczys-Dowmunt: Niemieckie wyrazy złożone oraz ich polskie odpowiedniki. Automatyczna ekstrakcja jednostek dwujęzycznych z korpusów równoległych. (I)
28 lutego.
Styczeń 2008
- Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.
23 stycznia.
Tekst odczytu.
- Jerzy Pogonowski, Mgr Joanna Smigerska: O kwantyfikatorach uogólnionych.
16 stycznia.
Tekst odczytu.
- Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla.
9 stycznia.
Tekst odczytu.
Grudzień 2007
- Dr Sławomir Sikora: Komparatystyka logiczna: Wschód i Zachód.
12 i 19 XII.
Listopad 2007
- Dr Włodzimierz Lapis: Pojęcie, rodzaje i aspekty dystynktywności.
7 i 21 XI.
Czas i miejsce
Czwartek, godz: 12:00-13:00 [oprócz trzecich czwartków miesiąca].
Collegium Novum, sala 315B.
Poznań, Al. Niepodległości 4.