[et_pb_section admin_label=”Section” fullwidth=”off” specialty=”off”][et_pb_row admin_label=”Row”][et_pb_column type=”4_4″][et_pb_post_title admin_label=”Post Title” title=”on” meta=”off” author=”on” date=”on” categories=”on” comments=”on” featured_image=”off” featured_placement=”below” parallax_effect=”on” parallax_method=”on” text_orientation=”left” text_color=”dark” text_background=”off” text_bg_color=”rgba(255,255,255,0.9)” module_bg_color=”rgba(255,255,255,0)” title_all_caps=”off” use_border_color=”off” border_color=”#ffffff” border_style=”solid”] [/et_pb_post_title][et_pb_divider admin_label=”Divider” color=”#0c71c3″ show_divider=”on” divider_style=”solid” divider_position=”top” hide_on_mobile=”on”] [/et_pb_divider][et_pb_divider admin_label=”Divider” color=”#ffffff” show_divider=”off” height=”5″ divider_style=”solid” divider_position=”top” hide_on_mobile=”on”] [/et_pb_divider][/et_pb_column][/et_pb_row][/et_pb_section][et_pb_section admin_label=”Section” fullwidth=”off” specialty=”off”][et_pb_row admin_label=”Row”][et_pb_column type=”4_4″][et_pb_text admin_label=”Text” background_layout=”light” text_orientation=”left” use_border_color=”off” border_color=”#ffffff” border_style=”solid”]
Lista seminariów:
Temat: „On invertibility of adjacency matrices of random d-regular digraphs”
- Referuje: dr Anna Lytova
- Termin: 8.12.2016, godz. 10:00
- Miejsce: Budynek Informatyki, sala 110
Temat: „Problem logicznej równoważności modeli Kripkego dla teorii intuicjonistycznych”
- Referuje: dr Małgorzata Kruszelnicka
- Termin: 9.06.2016, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „O jednowymiarowym modelu aerotaksji”
- Referuje: mgr Piotr Knosalla
- Termin: 14.01.2016, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „Przeliczalne struktury Kripkego dla pewnych logik wielomodalnych”
- Referuje: dr Sławomir Kost
- Termin: 5.11.2015, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „Całkowalność w układach dynamicznych na przestrzeniach jednorodnych”
- Referuje: prof. Maciej Wojtkowski
- Termin: 23.04.2015, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „The Return of the Syllogism”
- Referuje: prof. Ian Pratt-Hartmann
- Termin: 8.01.2015, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „Idzie zima – pomyślmy o drzewach”
- Referuje: prof. Jacek Nikiel
- Termin: 6.11.2014, godz. 14:15
- Miejsce: Budynek Informatyki, sala 110
Temat: „Klasyczny problem sekretarek i jego uogólnienia, optymalny czas zatrzymania na porządkach częściowych i grafach skierowanych”
- Referuje: dr hab. Grzegorz Kubicki
- Termin: 12.06.2014, godz. 13:00
- Miejsce: Budynek Informatyki, sala 110
Temat: „O klasyfikacji relacji równoważności orbit i działaniach ostatecznie otwartych”
- Referuje: dr hab. Barbara Majcher-Iwanow
- Termin: 6.03.2014, godz. 14.15
- Miejsce: Budynek Informatyki, sala 110
Temat: „Uogólnianie twierdzeń; teoria dowodu wg. Georga Kreisel’a”
- Referuje: prof. Piotr Wojtylak
- Termin: 9.01.2014, godz. 14.15
- Miejsce: Budynek Informatyki, sala 110
[/et_pb_text][/et_pb_column][/et_pb_row][/et_pb_section]
Dodaj komentarz