Grupa przedmiotów obowiązkowych dla informatyki magisterskiej-specjalność Języki programowania (grupa przedmiotów zdefiniowana przez Wydział Matematyki, Informatyki i Mechaniki)
|
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.
2024Z - Semestr zimowy 2024/25 2025Z - Semestr zimowy 2025/26 2025L - Semestr letni 2025/26 (zajęcia mogą być semestralne, trymestralne lub roczne) |
Opcje | ||||||
|---|---|---|---|---|---|---|---|
| 2024Z | 2025Z | 2025L | |||||
| 1000-217bMRJ |
 
|
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
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-217bPSC | brak |
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2025/26
Grupy przedmiotu
Skrócony opis
Redakcja tekstów naukowych, właściwy dobór źródeł, przygotowani i wygłaszanie prezentacji. Najważniejsze problemy prawne i etyczne w prowadzeniu badań w dziedzinie informatyki. Projektowanie interfejsów (user experience) i przeprowadzanie badań z udziałem użytkowników (user studies). |
|
||
| 1000-218bPRB | brak | brak |
|
Zajęcia przedmiotu
Semestr letni 2025/26
Grupy przedmiotu
Skrócony opis
Celem zajęć jest przeprowadzenie przez studentów niewielkiego projektu badawczego: teoretycznego lub eksperymentalnego. Miejsce i termin spotkań każdy student ustala indywidualnie ze swoim opiekunem. |
|
||
| 1000-2M24SWP |
|
|
brak |
Zajęcia przedmiotu
Semestr zimowy 2024/25
Grupy przedmiotu
Skrócony opis
Celem przedmiotu jest przedstawienie znaczenia, a także podstawowych problemów, technik i zastosowań formalnego opisywania programów. Wykład omawia różne metody definiowania semantyki programów, ich niezbędne podstawy i techniki matematyczne oraz wprowadza podstawowe pojęcia poprawności programów wraz metodami i formalizmami jej dowodzenia. Zajęcia laboratoryjne ilustrują wykorzystanie tych metod w praktyce projektowej i programistycznej. |
|
||
