From Zakład Logiki Stosowanej

Wersja z dnia 18:59, 23 cze 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Plan) ← Poprzednia edycja		Wersja z dnia 09:57, 16 lip 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Styczeń 2008) Następna edycja →
Linia 21:		Linia 21:
	==Styczeń 2008==		==Styczeń 2008==
-	* 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. ]]	+	* Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): '''Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.''' <br>23 stycznia. <br> [[Media: rsfinal.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. ]]

---

Wersja z dnia 09:57, 16 lip 2008

Spis treści 1 Plan 1.1 Czerwiec 2008 1.2 Kwiecień 2008 1.3 Marzec 2008 1.4 Luty 2008 1.5 Styczeń 2008 1.6 Grudzień 2007 1.7 Listopad 2007 2 Czas i miejsce

Plan

Czerwiec 2008

• Jerzy Pogonowski: Zermelo, Wrocław i ja.
  19 czerwca.
  Tekst odczytu.

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.