SylabUZ
Nazwa przedmiotu | Zaawansowane techniki programowania |
Kod przedmiotu | 11.3-WE-INFD-ZTP |
Wydział | Wydział Informatyki, Elektrotechniki i Automatyki |
Kierunek | Informatyka |
Profil | ogólnoakademicki |
Rodzaj studiów | drugiego stopnia z tyt. magistra inżyniera |
Semestr rozpoczęcia | semestr zimowy 2020/2021 |
Semestr | 2 |
Liczba punktów ECTS do zdobycia | 5 |
Typ przedmiotu | obowiązkowy |
Język nauczania | polski |
Sylabus opracował |
|
Forma zajęć | Liczba godzin w semestrze (stacjonarne) | Liczba godzin w tygodniu (stacjonarne) | Liczba godzin w semestrze (niestacjonarne) | Liczba godzin w tygodniu (niestacjonarne) | Forma zaliczenia |
Wykład | 15 | 1 | 9 | 0,6 | Zaliczenie na ocenę |
Laboratorium | 30 | 2 | 18 | 1,2 | Zaliczenie na ocenę |
Projekt | 15 | 1 | 9 | 0,6 | Zaliczenie na ocenę |
• zapoznanie studentów z wybranymi technikami zaawansowanego programowania wieloparadygmatowego, w modelu klasycznym oraz zaprezentowanie podstaw modelu kwantowego,
• omówienie wybranych technik jak np. prezentacja typów uogólnionych, programowanie reaktywne, model aktorów, mechanizm hot-swapping,
• zaprezentowanie kwantowego modelu obliczeniowego, definicji qubitów, superpozycji i splątania kwantowomechanicznego jako nowych zasobów przetwarzania informacji,
• prezentacja wybranych algorytmów kwantowych i protokołów, w tym kwantowych protokołów kryptograficznych.
Metody programowania, Algorytmy i struktury danych, Teoretyczne Podstawy Informatyki, Programowanie obiektowe
Prezentacja i przypomnienie obecnie stosowanych paradygmatów programowania.
Podkreślenie roli paradygmatu funkcyjnego i logicznego (deklaratywnego).
Typy uogólnione, programowanie reaktywne, programowanie w logice za pomocą języka programowania Erlang. Prezentacja modelu aktorów.
Nowe modele obliczeniowe jako odpowiedź na złożoność wykładniczą.
Prezentacja pojęć kwantowego modelu obliczeniowego, qubitu, rejestru kwantowego, superpozycji oraz splątania. Operacje unitarne oraz pomiaru realizowane na rejestrze kwantowym.
Omówienie wybranych algorytmów kwantowych oraz ich implementacja w postaci obwodów kwantowych oraz programów w języku Q# (w środowisku Visual Studio).
Symulacje obliczeń kwantowych oraz realizacja wybranych obwodów (protokołów) na dostępnych obecnie eksperymentalnych instalacjach obliczeń kwantowych.
Wykład: wykład konwencjonalny/tradycyjny.
Laboratorium: ćwiczenia laboratoryjne, wg listy zadań.
Projekt: praca w grupach, metoda projektu.
Opis efektu | Symbole efektów | Metody weryfikacji | Forma zajęć |
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny ze sprawdzianu przeprowadzonego w formie pisemnej.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich sprawdzianów pisemnych z ćwiczeń laboratoryjnych, przewidzianych do realizacji w
ramach programu laboratorium.
Projekt - warunkiem zaliczenia jest wykonanie wszystkich zadań projektowych, przewidzianych do realizacji w ramach zajęć projektowych oraz przygotowanie pisemnego
raportu ze zrealizowanego projektu.
Składowe oceny końcowej = wykład: 20% + laboratorium: 40% + projekt: 40%
Zmodyfikowane przez prof. dr hab. inż. Andrzej Obuchowicz (ostatnia modyfikacja: 27-04-2020 08:37)