

Studiuj dzięki licznym zasobom udostępnionym na Docsity
Zdobywaj punkty, pomagając innym studentom lub wykup je w ramach planu Premium
Przygotuj się do egzaminów
Studiuj dzięki licznym zasobom udostępnionym na Docsity
Otrzymaj punkty, aby pobrać
Zdobywaj punkty, pomagając innym studentom lub wykup je w ramach planu Premium
Społeczność
Odkryj najlepsze uniwersytety w twoim kraju, według użytkowników Docsity
Bezpłatne poradniki
Pobierz bezpłatnie nasze przewodniki na temat technik studiowania, metod panowania nad stresem, wskazówki do przygotowania do prac magisterskich opracowane przez wykładowców Docsity
Paradygmaty programowania angielskim. Programming Paradigms. 1. USYTUOWANIE PRZEDMIOTU W SYSTEMIE STUDIÓW. 1.1. Kierunek studiów informatyka.
Typologia: Schematy
1 / 3
Ta strona nie jest widoczna w podglądzie
Nie przegap ważnych części!
1.1. Kierunek studiów informatyka 1.2. Forma studiów studia stacjonarne/niestacjonarne 1.3. Poziom studiów studia pierwszego stopnia inżynierskie 1.4. Profil studiów ogólnoakademicki 1.5. Specjalność teleinformatyka, technologie informatyczne 1.6. Jednostka prowadząca przedmiot WMP, Instytut Fizyki 1.7. Osoba przygotowująca kartę przedmiotu Marcin Szpyrka 1.8. Osoba odpowiedzialna za przedmiot Marcin Szpyrka 1.9. Kontakt [email protected]
2.1. Przynależność do modułu MINF_ 2.2. Status przedmiotu obowiązkowy 2.3. Język wykładowy polski 2.4. Semestry, na których realizowany jest przedmiot 4 2.5. Wymagania wstępne wcześniejsze zaliczenie przedmiotu Wstęp do programowania, podstawowa znajomość programowania w języku C, umiejętność pracy w systemie Linux
3.1. Formy zajęć wykład + ćwiczenia laboratoryjne 3.2. Sposób realizacji zajęć zajęcia w pomieszczeniu dydaktycznym UJK 3.3. Sposób zaliczenia zajęć egzamin 3.4. Metody dydaktyczne wykład, laboratoria, zadania do rozwiązania 3.5. Wykaz literatury
podstawowa Joeren Fokker: Functional Programming****. Department of Computer Science, Utrecht University 1995 (plik pdf dostępny w Internecie) Hal Daume III, et. al.: Yet Another Haskell Tutorial****. 2004 (plik pdf dostępny w Internecie) Dave Stuart Robertson: Quick Prolog , http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog /quickprolog.html Patrick Blackburn, Johan Bos and Kristina Striegnitz: Learn Prolog Now !, http://www.learnprolognow.org/ uzupełniająca Kees Doets, Jan van Eijck: The Haskell Road to Logic, Math and Programming****. 2004 (plik pdf dostępny w Internecie) J. R. Fischer: Prolog tutorial , http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/ contents.html
4.1. Cele przedmiotu C1- Celem przedmiotu jest zapoznanie studentów z czterema podstawowymi paradygmatami programowania: imperatywnym, obiektowym, funkcyjnym i deklaratywnym.
4.2. Treści programowe WYKŁAD: Wprowadzenie do tematyki wykładu, wstępne porównanie podstawowych paradygmatów programowania. Programowanie funkcyjne w języku Haskell. Programowanie deklaratywne w języku PROLOG Programowanie imperatywne – przypomnienie podstawowych zagadnień. Programowanie obiektowe – przypomnienie podstawowy zagadnień. Wykorzystanie różnych paradygmatów programowania do rozwiązywania problemów algorytmicznych. Przegląd innych paradygmatów programowania – wykład podsumowujący.
ĆWICZENIA LABORATORYJNE: Programowanie funkcyjne w języku Haskell. Programowanie deklaratywne w języku PROLOG. Wykorzystanie różnych paradygmatów programowania do rozwiązywania problemów algorytmicznych.
4.3. Efekty kształcenia
kod Student, który zaliczył przedmiot Odniesienie do efektów kształcenia
w zakresie WIEDZY: dla kierunku dla obszaru W01 ma elementarną wiedzę w zakresie programowania funkcyjnego w języku Haskell
W02 ma elementarną wiedzę w zakresie programowania w logice w języku Prolog
W03 ma elementarną wiedzę dotyczącą różnych paradygmatów programowania i ich zastosowań
w zakresie UMIEJĘTNOŚCI: U01 potrafi czytać ze zrozumieniem, pisać, uruchamiać i weryfikować proste programy zapisane w języku programowania funkcyjnego (Haskell)
InzA_U01, InzA_U02, InzA_U03, InzA_U04, InzA_U05, InzA_U06, InzA_U07, InzA_U U02 potrafi czytać ze zrozumieniem, pisać, uruchamiać i weryfikować proste programy zapisane w języku programowania w logice (Prolog)