Site programming by Marcin Junczys-Dowmunt



 
 
 

Seminarium

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 12:33, 11 sty 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Styczeń 2008)
← Poprzednia edycja
Wersja z dnia 13:31, 16 sty 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Styczeń 2008)
Następna edycja →
Linia 5: Linia 5:
* 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.
-* Jerzy Pogonowski, Joanna Smigerska: '''O kwantyfikatorach uogólnionych.''' <br>16 stycznia.+* Jerzy Pogonowski, 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 13:31, 16 sty 2008

Spis treści

Plan

Styczeń 2008

  • Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.
    23 stycznia.
  • Jerzy Pogonowski, 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

Środa, godz: 11:00-12:00.

Collegium Novum, sala 315B.

Poznań, Al. Niepodległości 4.