Logika i algorytmy 10-1S-LOA
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Rodzaj przedmiotu
Koordynatorzy przedmiotu
W cyklu 2018L: | W cyklu 2017L: | W cyklu 2016L: |
Efekty kształcenia
WIEDZA
PE1_W22
- Zna i potrafi właściwie używać pojęć z zakresu logiki matematycznej; posługuje się funktorami zdaniowymi.
UMIEJĘTNOŚCI
PE1_U15
- Opracowuje schematy blokowe do podanych przykładów.
- Posługuje się rachunkiem zdań i kwantyfikatorów, potrafi poprawnie używać kwantyfikatorów także w języku potocznym.
- Potrafi dokonać specyfikacji problemu, umie ułożyć i analizować algorytm zgodny ze specyfikacją.
- Potrafi podać przykłady praktycznych zachowań, które można przedstawić w formie algorytmu.
- Potrafi zapisać algorytm w dowolnym języku programowania.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: