Aktualności
odwołane zajęcia 6-7.03.2023
Czwartek, 02.03.2023 · 14:21
W związku z chorobą prowadzącego - P. Rzechonka - grupy z: Kursu C++ pon 18-20 i wt 18-20 oraz grupa AiSD wt 15-18 zostają odwołane.
AiSD będą odrobione w innym terminie.
odwołanie czw wykładu C++ oraz grupy POO czw 18-20
Środa, 01.03.2023 · 11:06
W związku z chorobą prowadzącego jutrzejsze zajęcia: wykład z Kursu C++ czw 16-18 oraz grupa POO czw 18-20 zostają odwołane.
Zmiany planu zajęć 23 II 2023
Czwartek, 23.02.2023 · 11:46
ADVANCED AUTOMATA THEORY zmieni termin na śr 14-16-18 sala 4.
Aktualizacje Systemu Zapisów odbywają się w godzinach: 9:30, 12:00 i 15:30.
[w przypadku kolejnych zmian wprowadzanych dzisiaj do planu to ogłoszenie może być edytowane]
Nowe przedmioty
Środa, 22.02.2023 · 12:49
W planie zajęć pojawiły się dwa nowe przedmioty:
* Korporacyjna Java --- kurs zaawansowany (K2)
* Projekt: silnik szachowy --- projekt
Zmiany planu zajęć 22 II 2023
Środa, 22.02.2023 · 9:18
Zostały utworzone nowe grupy:
C++ czw 12-14;
**Aktualizacje Systemu Zapisów odbywają się w godzinach: 9:30, 12:00 i 15:30.**
[w przypadku kolejnych zmian wprowadzanych dzisiaj do planu to ogłoszenie może być edytowane]
Zmiany planu zajęć 21 II 2023
Wtorek, 21.02.2023 · 14:25
Zostały utworzone nowe grupy:
MP wt 9-12;
MP wt 12-15;
PO śr 8-10;
Sztuczna Inteligencja czw 10-12;
będzie skasowana grupa Kurs projektowania aplikacji z bazami danych pon 14-16;
**Aktualizacje Systemu Zapisów odbywają się w godzinach: 9:30, 12:00 i 15:30.**
[w przypadku kolejnych zmian wprowadzanych dzisiaj do planu to ogłoszenie może być edytowane]
Czasy zapisów dla I roku informatyki oraz ISIM
Sobota, 18.02.2023 · 11:09
Czasy zapisów dla I roku informatyki oraz ISIM zostały obliczone i są już widoczne dla zainteresowanych studentów. Studenci ci rozpoczną zapisy w poniedziałek, 20 lutego, o wylosowanych indywidualnie godzinach.
Czasy zapisów i typy zajęć
Poniedziałek, 13.02.2023 · 19:16
W tym tygodniu rozpoczynają się zapisy. Zostały już obliczone czasy zapisów uwzględniające korektę głosowania (poza I rokiem), więc proszę sprawdzić swoje czasy zapisu. Czasy zapisów dla I roku informatyki oraz ISIM zostaną obliczone niebawem.
Przedmiot Teoretyczne podstawy języków programowania jest zamiennikiem dla przedmioty obowiązkowego Języki Programowania. Z tego powodu, osoby, które nie zaliczyły jeszcze JP ani TPJP mają priorytet w zapisach na TPJP: zapisy na ten przedmiot otworzą się jutro (wtorek 14.02) o 14:00.
Następujące przedmioty zmienią swój typ:
* Wybrane elementy praktyki projektowania oprogramowania oraz Projektowanie obiektowe oprogramowania zmienią typ na "Informatyczny inż."
* Rachunek prawdopodobieństwa i statystyka na "Informatyczny 1"
* Seminarium: Testowanie oprogramowania na "proseminarium"
Studenci II stopnia będą mogli zaliczać te przedmioty (poza WEPPO) w najbliższym semestrze, ale aby zostały im zaliczone do puli przedmiotów poprzednio obowiązującego typu (I2, S), należy złożyć wniosek do dziekana.
Zmiana terminów ASK
Poniedziałek, 13.02.2023 · 11:15
Terminy zajęć z Architektur Systemów Komputerowych zmienią godziny na dostępne dla I roku.
Ocena zajęć, korekta głosowania oraz czasy zapisów
Wtorek, 07.02.2023 · 12:47
Została uruchomiona ocena zajęć, która będzie trwała do 3 marca. Ocena zajęć pozwala nam poprawiać jakość studiów, a oprócz tego daje Wam bonus do czasu otwarcia zapisów przez dwa kolejne semestry.
Trwa obecnie korekta głosowania na semestr letni. Do 11 lutego można modyfikować oddane głosy. Proszę zwrócić uwagę na nowe przedmioty w ofercie:
* Kurs: Korporacyjna Java
* Kurs: Praktyczne aspekty rozwoju oprogramowania
* Kurs: programowanie sterowników dla systemu Linux
* Metody zarządzania projektami
* Seminarium: Teoria Baz Danych Dla Semantyki Multisetowej
* Wstęp do bezpieczeństwa komputerowego
Czasy zapisów zostały wstępnie obliczone. Po korekcie głosowania, czasy zapisów zostaną przeliczone ponownie.
-----
Class evaluation is active. It ends at March 3. Class evaluation allows us to improve the quality of studies as well as it gives you a bonus to enrollment opening times for the next two semesters.
Revision of voting for the summer semester is currently underway. You can modify your votes until Feb 11. There are new courses available in the offer:
* Kurs: Korporacyjna Java
* Kurs: Praktyczne aspekty rozwoju oprogramowania
* Kurs: programowanie sterowników dla systemu Linux
* Metody zarządzania projektami
* Seminarium: Teoria Baz Danych Dla Semantyki Multisetowej
* Wstęp do bezpieczeństwa komputerowego
Enrollment times have been pre-calculated. After the vote correction ends, enrollment times will be recalculated.
Zapisy w semestrze letnim 2022/2023
Środa, 01.02.2023 · 10:06
W systemie zapisów jest już widoczny wstępny [plan na semestr letni](https://zapisy.ii.uni.wroc.pl/courses/semester/347), który nie powinien się już znacznie zmienić.
~~Indywidualne czasy zapisów (poza I rokiem) zostały wstępnie wyliczone.~~ Po zakończeniu korekty głosowania, czasy zapisów zostaną przeliczone ~~ponownie~~. Proszę o sprawdzenie swoich czasów oraz o kontakt z Administratorem Systemu Zapisy w przypadku błędów.
W semestrze letnim studenci I roku będą się zapisywali na zajęcia samodzielnie. Czasy otwarcia zostaną niebawem przydzielone losowo 20 lutego w przedziale 10:00 – 18:00.
Harmonogram zapisów jest następujący:
* 7.02 – 11.02 - korekta głosowania
* 7.02 – 3.03 - ocena zajęć
* 15.02 - najwcześniejszy czas otwarcia zapisów (wliczając wszystkie bonusy)
* 20.02 - otwarcie zapisów dla I roku
* 22.02 - rozpoczęcie semestru letniego
* 02.03 - zniesienie miejsc gwarantowanych dla ISIMu oraz DS
* 03.03 - zniesienie limitu 35 ECTS
* 8.03 - koniec wypisów (zapisy nadal będą możliwe)
* 10.03 - koniec zapisów
------
A preliminary schedule for the next semester has been [published in System Zapisy](https://zapisy.ii.uni.wroc.pl/courses/semester/347).
~~Individual enrollment times have been calculated.~~ After the end of voting correction, the enrollment times will be ~~re~~ calculated. Please check your times and contact the Administrator of System Zapisy in case of errors.
Important dates:
* Feb 7 - 11 - voting correction
* Feb 7 - Mar 3 - class evaluation
* Feb 15 - the earliest enrollment possibility (including all bonuses)
* Feb 20 - enrollment for the 1st year students
* Feb 22 - start of the summer semester
* Mar 2 - guaranteed places for ISIM and DS expire
* Mar 3 - the limit of 35 ECTS expires
* Mar 8 - the end of disenrollments (only new enrollments are possible)
* Mar 10 - the end of enrollments
Czwartek 19.01, 14:15 - Wykład Bartka Kurasa "Rust i wzorce projektowe"
Poniedziałek, 16.01.2023 · 10:32
W czwartek 19 stycznia o godzinie 14:15 w sali 141 (w ramach kursu języka Rust) odbędzie się wykład Bartka Kurasa z firmy Cofio GmbH pod tytułem: "Rust i wzorce projektowe". Bartek jest opiekunem CosmWasm, trenerem Akademii CosmWasm. Członkiem zespołu Confio oraz współorganizatorem Rust Wrocław i Rusty Days. Zapraszamy.
odwołany wykład z Kursu: Tworzenie aplikacji frontendowych
Środa, 21.12.2022 · 10:18
W środę 21.12.2022 wkład z przedmiotu Kurs: Tworzenie aplikacji frontendowych nie odbędzie się.
odwołanie wykładu Manipulacje i nadużycia na rynku finansowym
Wtorek, 13.12.2022 · 9:02
Dzisiejszy wykład: Manipulacje i nadużycia na rynku finansowym zostaje odwołany i będzie odrobiony w innym ustalonym terminie.
Wykład Anthony'ego W. Lina "Data Path Queries over Embedded Graph Databases" - wtorek, 6.12, 12:15, sala 25
Niedziela, 04.12.2022 · 16:40
W przyszłym tygodniu będziemy gościć Anthony'ego W. Lina (University of Kaiserslautern), w ramach programu przyjazdów profesorów wizytujących (IDUB).
**W najbliższy wtorek 6.12 o godzinie 12:15 w sali 25 wygłosi wykład pt. "Data Path Queries over Embedded Graph Databases"**
Streszczenie wykładu
We initiate the study of data-path query languages (in particular, regular data path queries (RDPQ) and conjunctive RDPQ (CRDPQ)) in the classic setting of embedded finite model theory, wherein each graph is
"embedded" into a background infinite structure (with a decidable FO theory or fragments thereof). Our goal is to address the current lack of support for typed attribute data (e.g. integer arithmetics) in existing
data-path query languages, which are crucial in practice. We propose an extension of register automata by allowing powerful constraints over the theory and the database as guards, and having two types of registers: registers that can store values from the active domain, and read-only registers that can store arbitrary values. We prove NL data complexity for (C)RDPQ over the Presburger arithmetic, the real-closed field, the existential theory of automatic structures and word equations with regular constraints. All these results strictly extend the known NL data complexity of RDPQ with only equality comparisons, and provides an answer to a recent open problem posed by Libkin et al. Among others, we introduce one crucial proof technique for obtaining NL data complexity for data path queries over embedded graph databases called "Restricted Register Collapse (RRC)", inspired by the notion of Restricted Quantifier Collapse (RQC) in embedded finite model theory.