Site programming by Marcin Junczys-Dowmunt



 
 
 

Seminarium

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 06:18, 23 wrz 2009 (edytuj)
Pogonowski (Dyskusja | wkład)
(Listopad 2009)
← Poprzednia edycja
Wersja z dnia 07:56, 23 wrz 2009 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Plan)
Następna edycja →
Linia 30: Linia 30:
* Dr Sławomir Sikora: '''Style wnioskowań logicznych - hinduizm.''' <br>20 maja 2009. * Dr Sławomir Sikora: '''Style wnioskowań logicznych - hinduizm.''' <br>20 maja 2009.
-* Uczestniczymy w konferencji ''90 lat filozofii na Uniwersytecie w Poznaniu.'' <br> Instytut Filozofii UAM, Poznań, 12 maja 2009. <br>Jerzy Pogonowski: [[Media: romansuszko.pdf | Poznańskie juwenilia logiczne Romana Suszki.]]<br>[[Media: brodacz.wav | '''Roman Suszko:''']] ''No, świetnie, ale jaką metodą wybierzemy metodę głosowania?''<br>Odczyt sponsorowany przez MEG.+* Uczestniczymy w konferencji ''90 lat filozofii na Uniwersytecie w Poznaniu.'' <br> Instytut Filozofii UAM, Poznań, 12 maja 2009. <br>Jerzy Pogonowski: [[Media: romansuszko.pdf | '''Poznańskie juwenilia logiczne Romana Suszki.''']]<br>[[Media: brodacz.wav | '''Roman Suszko:''']] ''No, świetnie, ale jaką metodą wybierzemy metodę głosowania?''<br>Odczyt sponsorowany przez MEG.
* Mgr Marcin Junczys-Dowmunt: '''Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.''' <br>6 maja 2009. * Mgr Marcin Junczys-Dowmunt: '''Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.''' <br>6 maja 2009.
Linia 36: Linia 36:
==Kwiecień 2009== ==Kwiecień 2009==
-* Uczestniczymy w konferencji: ''Applications of Logic in Philosophy and the Foundations of Mathematics, XIV''. <br> Szklarska Poręba, 20-24 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: schreiberhau2009.pdf | Sen Motyla.]]<br>Odczyt sponsorowany przez Katedrę Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.+* Uczestniczymy w konferencji: ''Applications of Logic in Philosophy and the Foundations of Mathematics, XIV''. <br> Szklarska Poręba, 20-24 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: schreiberhau2009.pdf | '''Sen Motyla.''']]<br>Odczyt sponsorowany przez Katedrę Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.
* Mgr Victoria Kamasa: '''Językowa definicja sytuacji w obrzędach pogrzebu w kościele katolickim.''' <br> 15 kwietnia. <br>[[Media: Pogrzeb.pdf | Prezentacja.]] * Mgr Victoria Kamasa: '''Językowa definicja sytuacji w obrzędach pogrzebu w kościele katolickim.''' <br> 15 kwietnia. <br>[[Media: Pogrzeb.pdf | Prezentacja.]]
-* Uczestniczymy w konferencji: ''Argumentacja i racjonalna zmiana przekonań''. <br> Ustroń, 1-3 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: ustron2009polski.pdf | Argumentacje starochińskich logików.]]<br>Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego.+* Uczestniczymy w konferencji: ''Argumentacja i racjonalna zmiana przekonań''. <br> Ustroń, 1-3 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: ustron2009polski.pdf | '''Argumentacje starochińskich logików.''']]<br>Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego.
==Marzec 2009== ==Marzec 2009==
Linia 53: Linia 53:
==Styczeń 2009== ==Styczeń 2009==
-* Jerzy Pogonowski: '''Dwa paradygmaty metalogiki: algebraiczny oraz semantyczny.''' <br> 28 stycznia. <br> [[Media: dwaparadygmaty.pdf | Tekst odczytu.]]+* Jerzy Pogonowski: [[Media: dwaparadygmaty.pdf | '''Dwa paradygmaty metalogiki: algebraiczny oraz semantyczny.''']] <br> 28 stycznia.
* Dr Sławomir Sikora: '''Hetucakra – kanon logiki buddyjskiej.''' <br> 14 stycznia. * Dr Sławomir Sikora: '''Hetucakra – kanon logiki buddyjskiej.''' <br> 14 stycznia.
Linia 72: Linia 72:
-* Jerzy Pogonowski: '''Uwagi o metajęzyku.''' <br> 8 października. <br> [[Media: metajezyk1.pdf | Tekst odczytu. ]]+* Jerzy Pogonowski: [[Media: metajezyk1.pdf | '''Uwagi o metajęzyku.''']] <br> 8 października.
- +
==Czerwiec 2008== ==Czerwiec 2008==
-* Jerzy Pogonowski: '''Zermelo, Wrocław i ja.''' <br> 19 czerwca. <br> [[Media: zermelobreslau.pdf | Tekst odczytu. ]]+* Jerzy Pogonowski: [[Media: zermelobreslau.pdf | '''Zermelo, Wrocław i ja.''']] <br> 19 czerwca.
==Kwiecień 2008== ==Kwiecień 2008==

Wersja z dnia 07:56, 23 wrz 2009

Spis treści

Plan

Listopad 2009

Uczestniczymy w: LV Konferencji Historii Logiki,
Uniwersytet Jagielloński, Kraków 3-4 listopada 2009.

Udział Jerzego Pogonowskiego w konferencji nie jest sponsorowany przez UAM.

Październik 2009

Uczestniczymy w: II Konferencji z Filozofii Matematyki,
UAM, Poznań 23-24 października 2009.

Udział Jerzego Pogonowskiego w konferencji nie jest sponsorowany przez UAM.

Wrzesień 2009

Uczestniczymy w konferencji: Logiki nieklasyczne - teoria i zastosowania,
Uniwersytet Łódzki, Łódź 17-19 września 2009.

Udział Jerzego Pogonowskiego w konferencji nie jest sponsorowany przez UAM.

Maj 2009

  • Dr Sławomir Sikora: Style wnioskowań logicznych - hinduizm.
    20 maja 2009.
  • Mgr Marcin Junczys-Dowmunt: Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.
    6 maja 2009.

Kwiecień 2009

  • Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XIV.
    Szklarska Poręba, 20-24 kwietnia 2009.
    Jerzy Pogonowski: Sen Motyla.
    Odczyt sponsorowany przez Katedrę Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.


  • Mgr Victoria Kamasa: Językowa definicja sytuacji w obrzędach pogrzebu w kościele katolickim.
    15 kwietnia.
    Prezentacja.
  • Uczestniczymy w konferencji: Argumentacja i racjonalna zmiana przekonań.
    Ustroń, 1-3 kwietnia 2009.
    Jerzy Pogonowski: Argumentacje starochińskich logików.
    Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego.

Marzec 2009

  • Uczestniczymy w konferencji: Applications of Algebra in Logic and Computer Science, XIII.
    Zakopane, 9-15 marca 2009.
    Jerzy Pogonowski: Incompleteness of effective double frames. (Wspólnie z Andrzejem Wiśniewskim.)

Luty 2009

  • Dr Dorota Lipowska: Dlaczego jest tak mało synonimów?
    25 lutego.
    Prezentacja.

Styczeń 2009

  • Dr Sławomir Sikora: Hetucakra – kanon logiki buddyjskiej.
    14 stycznia.

Grudzień 2008

  • Przerwa ekologiczna w UAM.

Listopad 2008

  • Mgr Marcin Junczys-Dowmunt: Metody statystyczne w tłumaczeniu automatycznym.
    26 listopada.
  • Dr Włodzimierz Lapis: Dystynktywność zbiorów.
    12 listopada.

Październik 2008

  • Mgr Victoria Kamasa: Językowa definicja sytuacji w tekście "Obrzędy sakramentu małżeństwa" w perspektywie goffmanowskiej.
    22 października.
    Prezentacja.


Czerwiec 2008

Kwiecień 2008

  • Dr Dorota Lipowska: Gra w nazywanie jako model ewolucji języka.
    24 kwietnia. Prezentacja.
  • 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

Środa, godz: 11:30-13:00.

Collegium Novum, sala 315B.

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