Przedmioty w rejestracji Rejestracja na przedmioty obowiązkowe informatyczne całoroczne i z semestru zimowego 2022/23 1000-2022-INF
|
Legenda
Jeśli przedmiot jest prowadzony w danym cyklu dydaktycznym, to w odpowiedniej komórce pojawi się koszyk rejestracyjny. Ikona koszyka zależy od tego, czy możesz się rejestrować na dany przedmiot.
- nie jesteś zalogowany 
- aktualnie nie możesz się rejestrować 
- możesz się zarejestrować 
- możesz się wyrejestrować (lub wycofać prośbę) 
- złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać) 
- jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.
2022Z - Semestr zimowy 2022/23 2022 - Rok akademicki 2022/23 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | |||||
|---|---|---|---|---|---|---|
| 2022Z | 2022 | |||||
| 1000-213bASD |
 
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Projektowanie i analiza algorytmów. Przegląd podstawowych algorytmów i struktur danych. Doskonalenie praktycznych umiejętnosci w projektowaniu i programowaniu poprawnych i wydajnych algorytmow oraz w posługiwaniu się gotowymi bibliotekami algorytmów i struktur danych. |
|
||
| 1000-211cAM1 |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Aksjomatyka liczb rzeczywistych, potęga rzeczywista, ciągi liczbowe, szeregi liczbowe, granica i ciągłość funkcji jednej zmiennej. |
|
||
| 1000-211cAMM1 |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Aksjomatyka liczb rzeczywistych, potęga rzeczywista, ciągi liczbowe, szeregi liczbowe, granica i ciągłość funkcji jednej zmiennej. |
|
||
| 1000-213bBAD |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Funkcje i struktury systemów baz danych oraz przegląd modeli danych. Relacyjne bazy danych. Języki zapytań do relacyjnych baz danych (algebra relacji, logika pierwszego rzędu, SQL i Datalog). Projektowanie baz danych: modelowanie pojęciowe i przejście do poziomu logicznego. Fizyczne aspekty składowania danych i wykonywania zapytań, metody optymalizacji zapytań, przetwarzanie transakcji. |
|
||
| 1000-215bBSK |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Kurs zapoznaje studentów z podstawami bezpieczeństwa systemów informatycznych. |
|
||
| 1000-211bGAL |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Podstawowe pojęcia i metody algebry liniowej dla informatyków. |
|
||
| 1000-217bIII | brak |
|
Zajęcia przedmiotu
Rok akademicki 2022/23
Grupy przedmiotu
Skrócony opis
Przedmiot stanowi platformę, na której studenci prezentują idee potencjalnie mogące stać się zalążkiem przyszłego przedsięwzięcia biznesowego. Prezentacje będą uzupełnione przez wykłady dotyczące uwarunkowań społecznych, prawnych i gospodarczych związanych z prowadzeniem przedsiębiorstwa informatycznego. |
|
||
| 1000-223bJNP1 |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Celem tego przedmiotu jest pokazanie studentom konkretnych języków i narzędzi programistycznych. |
|
||
| 1000-225bJNP3 |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Celem tego przedmiotu pokazanie studentom konkretnych języków i narzędzi programistycznych. |
|
||
| 1000-217bMRJ |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Przegląd podstawowych zagadnień i technik tworzenia interpreterów i kompilatorów dla języków programowania. Najważniejszymi tematami omawianymi na wykładzie są metody analizy semantycznej oraz generacji i optymalizacji kodu dla różnych maszyn docelowych (JVM, LLVM, asembler). Przydatna będzie wiedza wyniesiona z przedmiotu Języki i Paradygmaty Programowania (lub równoważnego). Absolwenci kursu powinni umieć stworzyć kompilator dla prostego języka programowania. |
|
||
| 1000-211bPM |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Najważniejsze pojęcia i metody teorii mnogości i logiki. Wykształcenie umiejętności posługiwania się abstrakcyjnym aparatem matematycznym i dowodzenia twierdzeń. |
|
||
| 1000-213bPW |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Celem wykładu jest przedstawienie podstawowych problemów oraz technik programowania systemów współbieżnych i rozproszonych. Wykład zorganizowany jest wokół dwóch kluczowych zagadnień: poprawności i wydajności systemów współbieżnych. W kontekście podstawowych problemów synchronizacji, takich jak wzajemne wykluczanie czy problem czytelników i pisarzy, omawiane są podejścia do synchronizacji procesów, bazujące na współdzielonych zmiennych oraz wymagające wsparcia w konstrukcjach programowych języków wysokopoziomowych. |
|
||
| 1000-213bRPS |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Wprowadzenie podstawowych pojęć i metod rachunku prawdopodobieństwa i statystyki. Prezentacja popularnych pakietów statystycznych. Wymagania: Analiza matematyczna, Geometria z algebrą liniową, Matematyka dyskretna |
|
||
| 1000-215bSWP |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie znaczenia, a także podstawowych problemów i technik formalnego opisywania programów. Omówione są różne metody definiowania semantyki programów, a także przedstawione są ich podstawy i techniki matematyczne. Wprowadza się podstawowe pojęcia poprawności programów wraz metodami i formalizmami jej dowodzenia. |
|
||
| 1000-217bSR |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Niniejszy przedmiot składa się zestawu – wykłady plus laboratoria. W ramach wykładów omówione zostaną podstawowe zagadnienia, fundamantalne zasady oraz technologie budowy systemów rozproszonych. Przykładowe zagadnienia to komunikacja, replikacja, odporność na błędy i bezpieczeństwo. W ramach laboratoriów natomiast studenci będą mieli okazję przećwiczyć te zagadnienia w praktyce – idywidualnie bądź w parach budując od podstaw system rozproszony w tematyce obliczeń w chmurze. Zarówno wykłady jak i laboratoria będą prowadzone w języku angielskim. Niniejszy przedmiot jest polecany studentom uczęszczającym lub chcącym uczęszczać na seminarium „Systemy Rozproszone”. Laboratoria wymagają od studentów dużego zaangażowania oraz systematyczności. |
|
||
| 1000-218bTW |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
- Przedmioty obieralne na studiach drugiego stopnia na kierunku bioinformatyka (Wydział Matematyki, Informatyki i Mechaniki)
Skrócony opis
Tworzenie systemów współbieżnych jest trudną sztuką, dlatego od zarania informatyki rozważa się różne modele matematyczne takich systemów. Celem wykładu jest przybliżenie słuchaczom najważniejszych i najciekawszych z nich:, m.in. sieci Petriego i algebry procesów. Dużo uwagi poświęcamy zagadnieniu automatycznej analizy modeli systemów współbieżnych, w szczególności złożoności obliczeniowej tego zagadnienia. Część ćwiczeń odbywa się w laboratorium i poświęcona jest pracy z wybranymi narzędziami do modelowania i analizy systemów współbieżnych. |
|
||
| 1000-211bWPI |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Podstawowy przedmiot studiów, mający zapoznać studentów z pojęciami algorytmu i programu oraz nauczyć ich projektowania, zapisywania, dowodzenia poprawności i uwzględniania złożoności algorytmów. Prezentacja technik programistycznych i struktur danych wykorzystywanych w programowaniu w małej i średniej skali. |
|
||
| 1000-2L5ZPP | brak |
|
Zajęcia przedmiotu
Rok akademicki 2022/23
Grupy przedmiotu
Skrócony opis
Celem tego przedmiotu jest zespołowe zrealizowanie przez studentów dużego projektu programistycznego. Powinno być to podsumowanie i praktyczne zweryfikowanie wiedzy programistycznej nabytej przez studentów na etapie licencjackim. Studenci powinni w trakcie tych zajęć przejść przez pełen cykl produkcji oprogramowania: od specyfikacji wymagań po testowanie (ze względów organizacyjnych zagadnienia takie jak pielęgnacja oprogramowania czy szkolenie użytkowników, choć ważne, są pomijane lub przedstawiane w bardzo ograniczonym zakresie). Zaleca się, by studenci w trakcie prac nad projektem poznawali (sami) nowe technologie konieczne do realizacji zadania. Faza pozyskiwania specyfikacji powinna być jak najbardziej zbliżona do rzeczywistości (tzn. studenci nie powinni dostawać gotowej specyfikacji wymagań, lecz stworzyć ją na podstawie rozmów z prowadzącym zajęcia - pełniącym wówczas rolę klienta). |
|
||
| 1000-218bZO |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2022/23
Grupy przedmiotu
Skrócony opis
Teoria złożoności jest dziedziną komplementarną do algorytmiki. Podczas gdy algorytmika dostarcza najbardziej ekonomicznych rozwiązań problemów obliczeniowych, teoria złożoności tłumaczy, dlaczego niektóre problemy okazują się odporne na próby znalezienia dobrych algorytmów i klasyfikuje problemy obliczeniowe ze względu na ich trudność. Ocenia także walory różnych wzbogaceń tradycyjnego modelu obliczeń, jak obliczenia zrandomizowane, równoległe, interakcyjne, czy kwantowe. |
|
||
