E-learning informatyczny 3501-KOG-WI-SZK
Celem kursu jest:
- umożliwienie studentom głębszego zrozumienia architektury współczesnych komputerów i pełniejszego wykorzystania ich możliwości,
- pogłębienie wiedzy studentów o podstawowych pojęciach z matematyki dyskretnej i logiki stosowanych w informatyce,
- przekazanie studentom wiedzy o gramatykach i językach formalnych.
Tematy poruszane na kursie to:
- prezentacja zasad działania i struktury współczesnych komputerów.
- opis roli i zadań systemów operacyjnych.
- przedyskutowanie systemów liczbowych i rozmaitych sposobów reprezentacji danych stosowanych w informatyce.
- przypomnienie operatorów logicznych logiki pierwszego-rzędu, ich semantyki i stosowania.
- wprowadzenie do języków formalnych i gramatyk.
Rodzaj przedmiotu
Tryb prowadzenia
Efekty kształcenia
Wiedza
Zna zasady działania współczesnych komputerów (zna rolę procesora, pamięci operacyjnej oraz pamięci dyskowych).
Rozumie cel istnienia systemów operacyjnych.
Zna pozycyjne systemy zapisu liczb, rozumie ogólne zasady przechowywania danych w pamięci komputerów.
Zna semantykę podstawowych operatorów logicznych.
Zna definicje języków formalnych, gramatyk, języków regularnych i bezkontekstowych.
Umiejętności
Umie zapisywać liczby przy różnych podstawach.
Potrafi formułować proste warunki logiczne stosując operatory dostępne w większości języków programowania.
Potrafi tworzyć gramatyki regularne lub bezkontekstowe dla prostych języków (odpowiedniej klasy).
Kompetencje
Rozumie ogólne zasady działania komputerów
Rozumie matematykę w podstawowym zakresie niezbędnym do programowania.
Kryteria oceniania
Studenci pracują na platformie do zdalnego nauczania rozwiązując testy podsumowujące poszczególne moduły kursu. Końcowa ocena jest wyliczana na podstawie łącznej liczby punktów zdobytych z poszczególnych testów.
Literatura
1. Logika matematyczna w informatyce, Mordechai Ben-Ari, PWN 2006.
2. Wprowadzenie do teorii automatów, języków i obliczeń, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, PWN 2012.
3. Publikacje (czasopisma, Internet) o bieżących zagadnieniach z zakresu technologii informacyjnych.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: