Szkoła Główna Handlowa w Warszawie - Centralny System Uwierzytelniania
Strona główna

Logika matematyczna (i elementy matematyki dyskretnej)

Informacje ogólne

Kod przedmiotu: 234970-S
Kod Erasmus / ISCED: 11.0 Kod klasyfikacyjny przedmiotu składa się z trzech do pięciu cyfr, przy czym trzy pierwsze oznaczają klasyfikację dziedziny wg. Listy kodów dziedzin obowiązującej w programie Socrates/Erasmus, czwarta (dotąd na ogół 0) – ewentualne uszczegółowienie informacji o dyscyplinie, piąta – stopień zaawansowania przedmiotu ustalony na podstawie roku studiów, dla którego przedmiot jest przeznaczony. / (0540) Matematyka i statystyka Kod ISCED - Międzynarodowa Standardowa Klasyfikacja Kształcenia (International Standard Classification of Education) została opracowana przez UNESCO.
Nazwa przedmiotu: Logika matematyczna (i elementy matematyki dyskretnej)
Jednostka: Szkoła Główna Handlowa w Warszawie
Grupy: Przedmioty kierunkowe do wyboru NMMS-ADA
Punkty ECTS i inne: 3.00 (zmienne w czasie) 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
Efekty uczenia się:

Wiedza:

Student powinien znać relacje porządku, w tym pojęcie elementu maksymalnego, minimalnego, łańcucha i antyłańcucha, relacji równoważności i klasy abstrakcji.

Student powinien znać podstawowe pojęcia teorii grafów, takie jak spójność, graf acykliczny, ścieżka Eulera, ścieżka Hamiltona i skojarzenia, a także podstawowe twierdzenia dotyczące tych pojęć,

Student powinien znać rachunek zdań, w tym pojęcie spójnika logicznego, tautologii, spełnialności, reguł wnioskowania i dowodu oraz twierdzenie o pełności.

Student powinien znać rachunek kwantyfikatorów, w tym pojęcie termu, formuły, zdania i modelu.

Umiejętności:

Student powinien umieć porządkować zbiory i analizować własności porządków, stosować pojęcie równoważności.

Student powinien umieć stosować poznane reguły rachunku zdań i rachunku kwantyfikatorów do badania budowy zdań i wnioskowań.

Student powinien umieć formułować problemy informatyczne w języku teorii grafów.

Student powinien umieć konstruować systemy eksperckie.

Kompetencje społeczne:

Student powinien rozumieć w jaki sposób przyjęte założenia i reguły wnioskowań wpływają na poprawność rozumowania.

Student powinien rozumieć użycie współczesnego języka logiki matematycznej i matematyki dyskretnej przy formułowaniu i rozwiązywaniu problemów algorytmicznych.

Zajęcia w cyklu "Preferencje - Semestr zimowy 2025/26" (jeszcze nie rozpoczęty)

Okres: 2025-10-01 - 2026-02-20
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Zajęcia prowadzącego więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: Paweł Zawiślak
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Zajęcia prowadzącego - Ocena

Zajęcia w cyklu "Semestr zimowy 2025/26" (jeszcze nie rozpoczęty)

Okres: 2025-10-01 - 2026-02-20
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 6 godzin więcej informacji
Wykład, 8 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Wykład - Ocena
Skrócony opis:

Logika Matematyczna (i Elementy Matematyki Dyskretnej) jako przedmiot wykładu dla ekonomistów stanowi narzędzie do formułowania i rozwiązywania problemów algorytmicznych oraz do analizy poprawności formuł i wnioskowań. Przedmiot ten jest podstawą do dalszych analiz zjawisk, np. w problemach optymalizacyjnych, czy przy podejmowaniu decyzji w systemach eksperckich z niepełną informacją.
Pełny opis:

Celem przedmiotu jest zapoznanie słuchaczy z elementami logiki matematycznej (rachunek zdań i rachunek predykatów) oraz matematyki dyskretnej (porządki, relacje równoważności, grafy, skojarzenia etc.) stosowanymi we współczesnych narzędziach informatycznych.
Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Matematyka dyskretna"; J. Tiuryn, "Wstęp do teorii mnogości i logiki"; H.Rasiowa, "Wstęp do matematyki współczesnej".

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf
Uwagi:

Kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%

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

Okres: 2025-02-15 - 2025-09-30
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 6 godzin więcej informacji
Wykład, 8 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Wykład - Ocena
Skrócony opis:

Logika Matematyczna (i Elementy Matematyki Dyskretnej) jako przedmiot wykładu dla ekonomistów stanowi narzędzie do formułowania i rozwiązywania problemów algorytmicznych oraz do analizy poprawności formuł i wnioskowań. Przedmiot ten jest podstawą do dalszych analiz zjawisk, np. w problemach optymalizacyjnych, czy przy podejmowaniu decyzji w systemach eksperckich z niepełną informacją.
Pełny opis:

Celem przedmiotu jest zapoznanie słuchaczy z elementami logiki matematycznej (rachunek zdań i rachunek predykatów) oraz matematyki dyskretnej (porządki, relacje równoważności, grafy, skojarzenia etc.) stosowanymi we współczesnych narzędziach informatycznych.
Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Matematyka dyskretna"; J. Tiuryn, "Wstęp do teorii mnogości i logiki"; H.Rasiowa, "Wstęp do matematyki współczesnej".

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf
Uwagi:

Kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%

Zajęcia w cyklu "Semestr zimowy 2024/25" (zakończony)

Okres: 2024-10-01 - 2025-02-14
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 6 godzin więcej informacji
Wykład, 8 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Wykład - Ocena
Skrócony opis:

Logika Matematyczna (i Elementy Matematyki Dyskretnej) jako przedmiot wykładu dla ekonomistów stanowi narzędzie do formułowania i rozwiązywania problemów algorytmicznych oraz do analizy poprawności formuł i wnioskowań. Przedmiot ten jest podstawą do dalszych analiz zjawisk, np. w problemach optymalizacyjnych, czy przy podejmowaniu decyzji w systemach eksperckich z niepełną informacją.
Pełny opis:

Celem przedmiotu jest zapoznanie słuchaczy z elementami logiki matematycznej (rachunek zdań i rachunek predykatów) oraz matematyki dyskretnej (porządki, relacje równoważności, grafy, skojarzenia etc.) stosowanymi we współczesnych narzędziach informatycznych.
Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Matematyka dyskretna"; J. Tiuryn, "Wstęp do teorii mnogości i logiki"; H.Rasiowa, "Wstęp do matematyki współczesnej".

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf
Uwagi:

Kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%

Zajęcia w cyklu "Semestr letni 2023/24" (zakończony)

Okres: 2024-02-24 - 2024-09-30
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 6 godzin więcej informacji
Wykład, 8 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Wykład - Ocena
Skrócony opis:

Logika Matematyczna (i Elementy Matematyki Dyskretnej) jako przedmiot wykładu dla ekonomistów stanowi narzędzie do formułowania i rozwiązywania problemów algorytmicznych oraz do analizy poprawności formuł i wnioskowań. Przedmiot ten jest podstawą do dalszych analiz zjawisk, np. w problemach optymalizacyjnych, czy przy podejmowaniu decyzji w systemach eksperckich z niepełną informacją.
Pełny opis:

Celem przedmiotu jest zapoznanie słuchaczy z elementami logiki matematycznej (rachunek zdań i rachunek predykatów) oraz matematyki dyskretnej (porządki, relacje równoważności, grafy, skojarzenia etc.) stosowanymi we współczesnych narzędziach informatycznych.
Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Matematyka dyskretna"; J. Tiuryn, "Wstęp do teorii mnogości i logiki"; H.Rasiowa, "Wstęp do matematyki współczesnej".

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf
Uwagi:

Kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%

Zajęcia w cyklu "Semestr zimowy 2023/24" (zakończony)

Okres: 2023-10-01 - 2024-02-23
Wybrany podział planu:
Przejdź do planu
Typ zajęć:
Laboratorium, 6 godzin więcej informacji
Wykład, 8 godzin więcej informacji
Koordynatorzy: (brak danych)
Prowadzący grup: (brak danych)
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Ocena
Wykład - Ocena
Skrócony opis:

Logika Matematyczna (i Elementy Matematyki Dyskretnej) jako przedmiot wykładu dla ekonomistów stanowi narzędzie do formułowania i rozwiązywania problemów algorytmicznych oraz do analizy poprawności formuł i wnioskowań. Przedmiot ten jest podstawą do dalszych analiz zjawisk, np. w problemach optymalizacyjnych, czy przy podejmowaniu decyzji w systemach eksperckich z niepełną informacją.
Pełny opis:

Celem przedmiotu jest zapoznanie słuchaczy z elementami logiki matematycznej (rachunek zdań i rachunek predykatów) oraz matematyki dyskretnej (porządki, relacje równoważności, grafy, skojarzenia etc.) stosowanymi we współczesnych narzędziach informatycznych.
Literatura:

Literatura podstawowa:

C. Wright, K. Ross, "Matematyka dyskretna"; J. Tiuryn, "Wstęp do teorii mnogości i logiki"; H.Rasiowa, "Wstęp do matematyki współczesnej".

Literatura uzupełniająca:

J. Leskovec, A. Rajaraman, J.D. Ullman, "Mining of Massive Datasets", Stanford University, infolab.stanford.edu/~ullman/mmds/book.pdf
Uwagi:

Kryteria oceniania:

egzamin tradycyjny-pisemny: 100.00%
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Szkoła Główna Handlowa w Warszawie.
al. Niepodległości 162
02-554 Warszawa tel: +48 22 564 60 00 http://www.sgh.waw.pl/ kontakt deklaracja dostępności mapa serwisu USOSweb 7.1.2.0