Przedmiot humanistyczny 1: Logika

Informacje ogólne

Kod przedmiotu:

MP0-DI>HUM1

Kod Erasmus / ISCED:

(brak danych) / (brak danych)

Nazwa przedmiotu:

Przedmiot humanistyczny 1: Logika

Jednostka:

Katedra Inżynierii Lotniczej i Kosmicznej

Grupy:

Przedmioty 1 sem. - zarządzanie i inżynieria produkcji st. I-go stopnia (inż.)

Punkty ECTS i inne:

2.00 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.

Język prowadzenia:

polski

Pełny opis:

Zajęcia obejmują podstawy logiki i wnioskowania, ze szczególnym uwzględnieniem klasycznego rachunku zdań oraz predykatów.

Treści kształcenia

- Wprowadzenie w problematykę logiki formalnej. Ogólne wiadomości o języku. Wprowadzenie podstawowych pojęć klasycznego rachunku zdań. Zmienne zdaniowe, formuły, wartościowania zmiennych, funkcjonalna pełność, postacie normalne i klauzulowe.

- Tautologie, kontrtautologie, konsekwencje logiczne, systemy dowodzenia.

- Elementy teorii wnioskowania. Reguły wnioskowania.

- Metoda rezolucji, elementy logiki pierwszego rzędu.

- Wiadomości o zbiorach. Algebra zbiorów, prawa algebry zbiorów. Relacje między zbiorami. Iloczyn kartezjański,

Literatura:

Literatura wykorzystywana podczas zajęć wykładowych

Łukasz N. Węsierski: - Podstawy logiki i wnioskowania, - Wydawnictwo PRz Rzeszów . - 2009

Z. Ziębiński - Logika praktyczna - PWN Warszawa. - 1998

Literatura wykorzystywana podczas zajęć ćwiczeniowych/laboratoryjnych/innych

Marek W., Onyszkiewicz J. - Elementy logiki i teorii mnogości w zadaniach - PWN, Warszawa. - 2003

Literatura do samodzielnego studiowania

M. Ben-Ari - Logika matematyczna w informatyce - WNT Warszawa. - 2005

Literatura uzupełniająca

J. J.Mulawka - Systemy ekspertowe - WNT Warszawa. - 1996

Efekty uczenia się:

Student, który zaliczył moduł	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Sposoby weryfikacji każdego z wymienionych efektów kształcenia
Potrafi zapisywać zdania języka potocznego i języka matematyki w języku rachunku zdań i języku rachunku predykatów.	wykład, ćwiczenia	sprawdzian pisemny,
Potrafi sprawdzać poprawność wnioskowań w budowaniu dowodów formalnych	wykład, ćwiczenia	sprawdzian pisemny
Rozumie elementarne pojęcia z teorii mnogości	wykład, ćwiczenia	sprawdzian pisemny

Metody i kryteria oceniania:

na ocenę 3	na ocenę 4	na ocenę 5
Potrafi poprawnie i precyzyjnie formułować myśli w zdaniach	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 3, ale również potrafi podać formuły skomplikowanych zdań złożonych i unikać wieloznaczności	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 4, ale również potrafi opisać formułą logiczną działanie prostych procesów
Zna metody wnioskowania i umie poprawnie wnioskować dedukcyjnie.	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 3, ale również potrafi poprawnie określić błędy występujące we wnioskowaniu	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 4, ale również potrafi wnioskować kilkoma metodami
Wie co to są systemy ekspertowe i rozumie ich działanie	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 3, ale również zna metody wnioskowania w systemach ekspertowych	nie tylko osiągnął poziom wiedzy i umiejętności wymagany na ocenę 4, ale również potrafi wnioskować w przód i wstecz

Zajęcia w cyklu "Semestr zimowy 2021/22" (zakończony)

Okres:	2021-10-01 - 2022-01-31	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WYK WYK WT ĆW ĆW ŚR CZ PT ĆW ĆW ĆW
Typ zajęć:	Ćwiczenia, 15 godzin więcej informacji Wykład, 15 godzin więcej informacji
Koordynatorzy:	Adrian Kordos
Prowadzący grup:	Daniel Ficek, Adrian Kordos
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Zaliczenie

Zajęcia w cyklu "Semestr zimowy 2022/23" (zakończony)

Okres:	2022-10-01 - 2023-01-30	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WYK WT ĆW ĆW ŚR ĆW ĆW ĆW ĆW CZ PT
Typ zajęć:	Ćwiczenia, 15 godzin więcej informacji Wykład, 15 godzin więcej informacji
Koordynatorzy:	Karol Szostek
Prowadzący grup:	Karol Szostek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Zaliczenie

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

Okres:	2023-10-01 - 2024-01-28	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK CZ PT ĆW ĆW ĆW ĆW ĆW
Typ zajęć:	Ćwiczenia, 15 godzin więcej informacji Wykład, 15 godzin więcej informacji
Koordynatorzy:	Karol Szostek
Prowadzący grup:	Karol Szostek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Zaliczenie

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

Okres:	2024-10-01 - 2025-02-02	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN ĆW ĆW ĆW ĆW WT ŚR WYK CZ PT
Typ zajęć:	Ćwiczenia, 15 godzin więcej informacji Wykład, 15 godzin więcej informacji
Koordynatorzy:	Karol Szostek
Prowadzący grup:	Karol Szostek
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Zaliczenie

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Rzeszowska im. Ignacego Łukasiewicza.