5851989708

średniego zachowania. Obliczanie niezawodności prostych układów sprzętowych i systemów programowych. Zastosowanie koncepcji procesów stochastycznych do analizy wydajności prostych układów sprzętowo-programowych. Przeprowadzanie prostego wnioskowania statystycznego.

4.    Matematyka dyskretna

Obowiązkowo: Funkcje, relacje i zbiory. Elementy logiki matematycznej: rachunek zdań i tautologie. Techniki dowodzenia twierdzeń i indukcja matematyczna. Kombinatoryka. Grafy i drzewa. Rekurencja.

Opcjonalnie: Elementy teorii liczb.

Umiejętności: Interpretowanie pojęć z zakresu informatyki w terminach funkcji i relacji. Stosowanie aparatu logiki, technik dowodzenia twierdzeń, teorii grafów i rekurencji do rozwiązywania problemów o charakterze informatycznym.

5.    Podstawy programowania

Obowiązkowo: Pojęcie algorytmu. Podstawowe konstrukcje programistyczne. Implementacje algorytmów w językach programowania. Podstawowe struktury danych i wykonywane na nich operacje. Dynamiczny przydział pamięci. Rekurencja i jej implementacja w językach wysokiego poziomu. Metody weryfikacji poprawności programów.

Opcjonalnie: Programowanie zdarzeniowe.

Umiejętności: Czytanie ze zrozumieniem programów w wybranym języku programowania. Symboliczne wykonanie prostych programów celem ich weryfikacji. Pisanie i uruchamianie prostych programów o rozmiarze rzędu 100 wierszy kodu.

6.    Fizyka lub inny przedmiot z nauk przyrodniczych

Fizyka lub inny przedmiot poświęcony jej fragmentowi lub jej zastosowaniom. Może być także inny ścisły przedmiot przyrodniczy.

Umiejętności: Posługiwanie się modelami świata rzeczywistego (ich tworzenie, analizowanie i weryfikacja).

7.    Przedmiot z nauk technicznych

Program przedmiotu ma dotyczyć zagadnień technicznych istotnych dla informatyka. W szczególności, przedmiot ten może obejmować teorię obwodów i sygnałów, elementy elektroniki, technikę cyfrową, cyfrowe przetwarzanie sygnałów, projektowanie i wytwarzanie układów VLSI, podstawy automatyki, elementy metrologii lub niezawodność i eksploatację.

Umiejętności: Rozumienie powiązań informatyki z innymi obszarami nauk technicznych. Umiejętność przeniesienia dobrych praktyk wypracowanych w tych obszarach na grunt informatyki.

C. PRZEDMIOTY KIERUNKOWE 1. Algorytmy i złożoność

Obowiązkowo:    Podstawy analizy algorytmów. Techniki algorytmiczne.

Podstawowe algorytmy.

4