Uniwersytet Warszawski - Centralny System Uwierzytelniania
Strona główna

Przedmioty obowiązkowe dla I roku studiów 2 stopnia na kierunku informatyka (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)

Jednostka: Wydział Matematyki, Informatyki i Mechaniki Zestaw przedmiotów, który widzisz poniżej został zdefiniowany przez tę jednostkę. Jednostka ta nie musi mieć jednak związku z organizacją wymienionych przedmiotów (jednostką odpowiedzialną za organizację przedmiotu jest jednostka wymieniona w odpowiedniej kolumnie w tabeli poniżej). Więcej o tym przeczytasz w Pomocy.
Grupa przedmiotów: Przedmioty obowiązkowe dla I roku studiów 2 stopnia na kierunku informatyka
wybierz inną grupę zobacz plany zajęć tej grupy
Filtry
Zaloguj się, aby uzyskać dostęp do dodatkowych opcji

Konkretniej - pokazuj tylko te przedmioty, dla których istnieje otwarta rejestracja taka, że możesz w jej ramach zarejestrować się na przedmiot.

Dodatkowo pokazywane są również te przedmioty, na które jesteś już zarejestrowany (lub składałeś prośbę o zarejestrowanie).

Jeśli chcesz zmienić te ustawienia na stałe, edytuj swoje preferencje w menu Mój USOSweb.
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.
niedostępny (zaloguj się!) - nie jesteś zalogowany
niedostępny - aktualnie nie możesz się rejestrować
zarejestruj - możesz się zarejestrować
wyrejestruj - możesz się wyrejestrować (lub wycofać prośbę)
prośba - złożyłeś prośbę o zarejestrowanie (i nie możesz jej już wycofać)
zarejestrowany - jesteś pomyślnie zarejestrowany (i nie możesz się wyrejestrować)
Kliknij na ikonę "i" przy koszyku, aby uzyskać dodatkowe informacje.

2023Z - Semestr zimowy 2023/24
2023L - Semestr letni 2023/24
2024Z - Semestr zimowy 2024/25
2024L - Semestr letni 2024/25
(zajęcia mogą być semestralne, trymestralne lub roczne)
Opcje
2023Z 2023L 2024Z 2024L
1000-217bIII brak brak
Zajęcia przedmiotu
Semestr zimowy 2023/24
  • Seminarium - 30 godzin
Semestr zimowy 2024/25
  • Seminarium - 30 godzin
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.

Strona przedmiotu
1000-217bLOG brak brak
Zajęcia przedmiotu
Semestr letni 2023/24
  • Ćwiczenia - 30 godzin
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
Semestr letni 2024/25
  • Ćwiczenia - 30 godzin
  • Laboratorium - 15 godzin
  • Wykład - 30 godzin
Grupy przedmiotu

Skrócony opis

Wprowadzenie do logiki zdaniowej i logiki pierwszego rzędu: elementy teorii modeli, elementy teorii dowodu, rola w

informatyce. Inne logiki ważne w informatyce.

Przedmiot ma dwa warianty. W pierwszym z nich zajęcia mają charakter bardziej praktyczny i prowadzone są wraz z

laboratorium, w drugim – zajęcia mają pogłębiony charakter teoretyczny.

Strona przedmiotu
1000-217bMRJ brak brak
Zajęcia przedmiotu
Semestr zimowy 2023/24
  • Ćwiczenia - 30 godzin
  • Laboratorium - 30 godzin
  • Wykład - 30 godzin
Semestr zimowy 2024/25
  • Ćwiczenia - 30 godzin
  • Laboratorium - 30 godzin
  • Wykład - 30 godzin
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.

Strona przedmiotu
1000-218bZO brak brak
Zajęcia przedmiotu
Semestr zimowy 2023/24
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
Semestr zimowy 2024/25
  • Ćwiczenia - 30 godzin
  • Wykład - 30 godzin
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.

Strona przedmiotu
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.0.0-319af3e59 (2024-10-23)