Seminaria

Seminarium Instytutowe

Prowadzenie: Prof. dr hab. Jurij Povstenko
Kontakt: j.povstenko@ajd.czest.pl
Dzień: Środa, godz. 13.00
Częstotliwość: raz w miesiącu

Rok akademicki 2015/2016
Data Wykładający Tytuł referatu nr
06.04.2016 dr hab. Joanna Grygiel 20 lat AALCS
20.01.2016 Kierownicy Zakładów Sprawozdanie z badań statutowych
Rok akademicki 2014/2015
Data Wykładający Tytuł referatu nr
21.10.2015 Kierownicy Zakładów Sprawozdania z uczestnictwa w konferencjach naukowych
22.04.2015 Dr hab. Bożena Woźna-Szcześniak Modelowanie i weryfikacja modelowa systemów wieloagentowych oraz systemów z czasem
18.03.2015 Dr hab. Andrzej Zbrzezny Ograniczona weryfikacja modelowa systemów współbieżnych
21.01.2014 Kierownicy Zakładów Sprawozdanie z badań statutowych
10.12.2014 Dr Tadeusz Kostrzewski
Dr Iwona Tyrala
Zapewnienie jakości kształcenia
19.11.2014 Dr hab. Małgorzata Wróbel Operatory lokalne i operatory superpozycji
22.10.2014 Uczestnicy konferencji Sprawozdanie z uczestnictwa w konferencjach naukowych
Rok akademicki 2013/2014
Data Wykładający Tytuł referatu nr
7.05.2014 Dr hab. Andrzej Zbrzezny Wybrane aspekty ograniczonej weryfikacji modelowej systemów współbieżnych (Część 2)
9.04.2014 Dr hab. Andrzej Zbrzezny Wybrane aspekty ograniczonej weryfikacji modelowej systemów współbieżnych (Część 1)
15.01.2014 Kierownicy Zakładów Sprawozdanie z badań statutowych
23.10.2013 Uczestnicy konferencji Sprawozdanie z uczestnictwa w konferencjach naukowych
20.11.2013 Dr Iwona Tyrala Procedury dotyczące jakości kształcenia wdrożone na Wydziale Matematyczno-Przyrodniczym w roku akademickim 2012/2013
Rok akademicki 2012/2013
Data Wykładający Tytuł referatu nr
17.10.2012 Uczestnicy konferencji Sprawozdania z konferencji naukowych
21.11.2012 Dr Anetta Górnicka Badanie rozszerzeń logiki Wd dualnej do logiki W.
14.01.2013 Kierownicy Zakładów Sprawozdanie z badań statutowych
17.04.2013 Mgr Agnieszka Zbrzezny Porównanie metody ograniczonej weryfikacji modelowej dla logik RTECTL i ECTL
22.05.2013 Dr Marcin Ziółkowski Zastosowanie pakietów algebry komputerowej do obliczeń numerycznych i symbolicznych
Rok akademicki 2011/2012
Data Wykładający Tytuł referatu nr
12.10.2011 Prof. dr hab. Sándor Radeleczki (University of Miskolc, Hungary) Extent partitions and context extensions
16.11.2011 Dr Dorota Budzik O pewnych własnościach stabilnościowych funkcji wielomianowych.
16.11.2011 Ph.D. student Derya Avci (Balikesir University, Turkey) Fractional calculus and optimal control problems
11.01.2012 Uczestnicy konferencji Sprawozdania z konferencji naukowych.
11.01.2012 Kierownicy Zakładów Sprawozdanie z badań statutowych
18.01.2012 Dr Tadeusz Kostrzewski
Dr Iwona Tyrala
Zapoznanie pracowników IMI z planowanym wdrożeniem Krajowych Ram Kwalifikacji dla Szkolnictwa Wyższego
31.03.2012 Dr Marcin Ziółkowski Modele i algorytmy wyznaczania objętości pamięci systemów informatycznych w warunkach niepewności stochastycznej
18.04.2012 mgr inż. Jacek Małek Obsługa nowej strony internetowej Instytutu Matematyki i Informatyki.
13.06.2012 Prof. Necati Özdemir (Balikesir University, Turcja) Formulations of Fractional Optimal Control Problems.
13.06.2012 Dr. Beyza Billur Iskender (Balikesir University, Turcja) Control Designs of Fractional Order Systems with Hysteresis Nonlinearities
Rok akademicki 2010/2011
Data Wykładający Tytuł referatu nr
27.10.2010 Uczestnicy konferencji Sprawozdania z konferencji naukowych.
1.12.2010 Dr Andrzej Zbrzezny Translacja problemu weryfikacji modelowej dla logiki ECTL do problemu SAT
19.01.2011 Kierownicy Zakładów Sprawozdanie z badań statutowych
23.03.2011 Robert Kozłowski
Dr Paweł Borkowski
Innowacje w psychologii neurofeedback i biofeedback w diagnostyce i terapii
05.04.2011 Dr Iwona Tyrala Rozwiązania wybranych trygonometrycznych równań funkcyjnych
18.05.2011 Lektorzy: Studenci kierunku Informatyka: Damian Siedlecki, Bartosz Sieradzki, Wojciech Żebrowski
Opiekun: Dr Paweł Borkowski
Robot JURAS. Prezentacja pracy Koła Naukowego Studentów Nauk Przyrodniczych Sekcji Budowy Robotów
Rok akademicki 2009/2010
Data Wykładający Tytuł referatu nr
21.10.2009 Uczestnicy konferencji Sprawozdania z konferencji naukowych. 1(78)/14
18.11.2009 dr Katarzyna Domańska Analityczny opis wymiernych funkcji łącznych 2(79)/14
13.01.2010 Kierownicy Zakładów Sprawozdanie z badań statutowych
17.03.2010 dr Małgorzata Wróbel Operatory lokalnie określone w klasie funkcji różniczkowalnych w sensie Whitney’a 3(80)/14
21.04.2010 mgr Marcin Ziółkowski Modele i algorytmy wyznaczania pamięci systemów informatycznych w warunkach niepewności stochastycznej – model pamięci operacyjnej oraz model serwera 4(81)/14
19.05.2010 Prof. Jacek Jędrzejewski Różne rodzaje zbieżności ciągów funkcyjnych a całkowalność w sensie Riemanna.
Rok akademicki 2008/2009
Data Wykładający Tytuł referatu nr
10.12 Uczestnicy konferencji Sprawozdania z konferencji naukowych. 1(73)/13
14.01 Mgr Lidia Stępień Rachunek zdań jako środowisko programistyczne dla algebry liniowej. 2(74)/13
18.03 Mgr Katarzyna Troczka-Pawelec Funkcja podkwadratowa prawie wszędzie. 3(75)/13
22.04 Mgr inż. Ireneusz Szcześniak Przybliżona analityczna ocena wydajności synchronicznych sieci optycznego przełączania pakietów bez buforów. 4(76)/13
20.05 Prof. dr hab. Jurij Povstenko Fractional Differentiation and Its Applications. 5(77)/13
Rok akademicki 2007/2008
Data Wykładający Tytuł referatu nr
07.11 Uczestnicy konferencji Sprawozdania z konferencji naukowych 1(67)/12
21.11 Dr hab. Jacek Jędrzejewski i Dr Grażyna Rygał Nowa podstawa programowa nauczania matematyki 2(68)/12
16.01 Prof. dr hab. Oleg Tikhonenko i Mgr Marcin Ziółkowski Modele systemów obsługi połączonych przez wspólną pamięć 3(69)/12
27.01 Dr hab. Jacek Jędrzejewski Zapiski recenzenta 4(70)/12
12.03 Prof. dr hab. Jurij Povstenko Pochodna Grunwalda-Letnikova 5(71)/12
23.04 Prof. dr hab. Zbigniew Piotrowski /Łączna i oddzielna ciągłość – nowe wyniki i nowe problemy – nowe wyniki i nowe problemy 6(72)/12
Rok akademicki 2006/2007
Data Wykładający Tytuł referatu nr
25.10 Uczestnicy konferencji Sprawozdania z konferencji naukowych 1(60)/11
15.11 Prof. dr hab. Jurij Głazunow (Politechnika Gdańska) Gnoseologia rachunku i metod wariacyjnych 2(61)/11
06.12 Dr Małgorzata Wróbel Pewne własności zbiorów i-spójnych 3(62)/11
17.01 Prof. dr hab. Roman Ger O równaniu homomorfizmów pierścieni 4(63)/11
28.02 Prof. dr hab. Eugeniusz Baszkirov Specjalne algebry Jordana zdefiniowane przez pierścienie asocjatywne 5(64)/11
14.03 Prof. dr hab. Raji Natarajan Vicious Queues and Vicious Circles 6(65)/11
25.04 Dr Katarzyna Domańska /Łączne funkcje wymierne 7(66)/11