Uniwersytet Marii Curie-Skłodowskiej w Lublinie - Centralny System Uwierzytelniania
Strona główna

Przedmiot fakultatywny 1 - Matematyka w służbie informatyki

Informacje ogólne

Kod przedmiotu: MFI-I.3L.212
Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Przedmiot fakultatywny 1 - Matematyka w służbie informatyki
Jednostka: Wydział Matematyki, Fizyki i Informatyki
Grupy: Przedmioty fakultatywne - informatyka 6 semestr
Punkty ECTS i inne: 0 LUB 5.00 (w zależności od programu) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
zobacz reguły punktacji
Język prowadzenia: polski
Wymagania wstępne:

Algebra liniowa z geometrią.

Logika i teoria mnogości.

Matematyka dyskretna.

Umiejętność programowania.
Godzinowe ekwiwalenty punktów ECTS:

1. Godziny kontaktowe (z udziałem nauczyciela akademickiego):


wykład - 30h

laboratorium - 30h


łącznie 60h - 3 punkty ECTS


2. Godziny niekontaktowe (praca własna studenta)


praca własna studenta 40h - 2 punkty ECTS


Sumaryczna ilość godzin dla przedmiotu : 100h

Sumaryczna ilość punktów ECTS dla przedmiotu: 5 ECTS
Sposób weryfikacji efektów kształcenia:

odpowiedź ustna: K_W01, K_W08, K_W09, K_W11, K_U01, K_U02, K_K01 , K_K02

opracowanie projektu indywidualnego: K_W08, K_W09 , K_U01

sprawdzian końcowy: K_W01, K_W08, K_W09, K_W11, K_U01

Pełny opis:

Wykład jest poświęcony zastosowaniom matematyki: zarówno w teoretycznej jak i stosowanej informatyce. W trakcie wykładu poruszone są między innymi takie zagadnienia jak:

- związki logiki ze złożonością obliczeniową,

- spełnialność i prawdziwość formuł logicznych w praktycznych zastosowaniach (SAT-solvery, systemy ekspertowe, automatyczne dowodzenie twierdzeń itp),

- zastosowania algebry skończonej w informatyce (krzywe eliptyczne itp.),

- problemy nierozstrzygalne.
Literatura:

Literatura obowiązkowa:

- slajdy z wykładów,

Literatura uzupełniająca:

Wiktor Marek, Janusz Onyszkiewicz ,,Elementy logiki i teorii mnogości w zadaniach'', Wydawnictwo Naukowe PWN, Warszawa 2005.

Christos H. Papadimitriou ,,Złożóność obliczeniowa''', Helion, 2021.
Efekty uczenia się:

Wiedza: K_W01, K_W08, K_W09, K_W11

Umiejętności: K_U01, K_U02

Kompetencje społeczne: K_K01, K_K02

Zajęcia w cyklu "Semestr letni 2024/2025" (w trakcie)

Okres: 2025-02-25 - 2025-09-30
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 30 godzin więcej informacji
Wykład, 30 godzin więcej informacji
Koordynatorzy: Jacek Krzaczkowski
Prowadzący grup: Jacek Krzaczkowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Laboratorium - Zaliczenie na ocenę
Wykład - Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Marii Curie-Skłodowskiej w Lublinie.
kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.2.0