Cel kształcenia i wykaz literatury

Główny cel kształcenia: Zdobycie umiejętności poprawnego i precyzyjnego formułowania myśli. Poznanie podstaw poprawnego wnioskowania i rozumowania.

Ogólne informacje o zajęciach:

Materiały dydaktyczne: Zestaw przykładowych zadań

Wykaz literatury, wymaganej do zaliczenia zajęć

Literatura wykorzystywana podczas zajęć wykładowych

1	Łukasz N. Węsierski:		Podstawy logiki i wnioskowania, Wydawnictwo PRz Rzeszów .	2009
2	Z. Ziębiński	Logika praktyczna	PWN Warszawa.	1998

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

1

Barbara Stanosz

Ćwiczenia z logiki

Warszawa, PWN .

1999

Literatura do samodzielnego studiowania

1

M. Ben-Ari

Logika matematyczna w informatyce

WNT Warszawa.

2005

Wymagania wstępne w kategorii wiedzy/umiejętności/kompetencji społecznych

Wymagania formalne: Wiedza na poziomie matury szkoły średniej

Wymagania wstępne w kategorii Wiedzy: Wiedza na poziomie matury szkoły średniej

Wymagania wstępne w kategorii Umiejętności:

Wymagania wstępne w kategorii Kompetencji społecznych:

Efekty kształcenia dla zajęć

MEK	Student, który zaliczył zajęcia	Formy zajęć/metody dydaktyczne prowadzące do osiągnięcia danego efektu kształcenia	Metody weryfikacji każdego z wymienionych efektów kształcenia	Związki z KEK	Związki z OEK
01	Potrafi poprawnie i precyzyjnie formułować myśli w zdaniach	wykład, ćwiczenia problemowe	zaliczenie cz. pisemna	K_W10++ K_U01+	T1A_W08++ T1A_U01
02	Zna metody wnioskowania i umie poprawnie wnioskować dedukcyjnie	wykład, ćwiczenia problemowe	zaliczenie cz. pisemna	K_W10+ K_U01+	T1A_W08 T1A_U01
03	Potrafi poprawnie wnioskować w prostych systemach ekspertowych w przód i w tył	wykład, ćwiczenia problemowe	zaliczenie cz. pisemna	K_W10++ K_K01+	T1A_W08++ T1A_K01

Uwaga: W zależności od sytuacji epidemicznej, jeżeli nie będzie możliwości weryfikacji osiągniętych efektów uczenia się określonych w programie studiów w sposób stacjonarny w szczególności zaliczenia i egzaminy kończące określone zajęcia będą mogły się odbywać przy użyciu środków komunikacji elektronicznej (w sposób zdalny).

Treści kształcenia dla zajęć

Sem.	TK	Treści kształcenia	Realizowane na	MEK
1	TK01	Wprowadzenie w problematykę logiki formalnej i wiadomości o języku. Zdanie w sensie logicznym. Prawda i fałsz.	W1	MEK01
1	TK02	Rachunek zdań. Metoda zerojedynkowa. Zmienne zdaniowe. Zdania złożone. Funktory prawdziwościowe i spójniki międzyzdaniowe. Podstawowe funktory logiczne.	W2	MEK01
1	TK03	Wybrane prawa logiczne - tautologie. Formalizacja rachunku zdań. Dowodzenie praw logicznych.	W3, W4	MEK01
1	TK04	Przekształcanie wyrażeń logicznych. Systemy funkcjonalnie pełne. Wynikanie logiczne i konsekwencja. .	W5	MEK01 MEK02
1	TK05	Podstawowe wiadomości z rachunku zbiorów. Definiowanie zbiorów, elementy zbiorów. Relacje między zbiorami. Działania na zbiorach. Sprawdzanie praw rachunku zbiorów.	W6, W7	MEK01
1	TK06	.Podstawy rachunku predykatów Funkcje zdaniowe. Kwantyfikatory. Symbolika. Kwantyfikator duży i mały. Formuły predykatowe..	W8	MEK01
1	TK07	Diagramy Venna wykorzystane do sprawdzania schematów kwantyfikatorowych.Wybrane prawa rachunku predykatów.	W9	MEK01 MEK01
1	TK08	Przegląd rodzajów wnioskowań. Prawa logiczne ze zmiennymi zdaniowymi. Wnioskowanie dedukcyjne i redukcyjne.	W10, W11	MEK01 MEK02
1	TK09	Dowodzenie poprawności wnioskowania wprost i nie wprost. Błędy we wnioskowaniu. Zasada rezolucji.	W12, W13	MEK02 MEK03
1	TK10	Podstawy rozumowania. Wnioskowanie jako rozumowanie. Wykorzystanie wnioskowania w systemach ekspertowych.	W14, W15	MEK03
1	TK11	Rachunek zdań. Tworzenie schematów zdań złożonych oraz wskazywanie w nich funktorów i argumentów.	C1	MEK01
1	TK12	Funktory prawdziwościowe i spójniki. Metoda nie wprost dowodzenia. Sprawdzanie tautologii.	C2, C3.	MEK01
1	TK13	Przekształcanie wyrażeń logicznych. Systemy funkcjonalnie pełne. Wynikanie logiczne.	C4, C5	MEK01 MEK02
1	TK14	Postacie normalne i klauzulowe. Przekształcania do postaci normalnej.	C6.
1	TK15	Wiadomości o zbiorach. Operacje na zbiorach – interpretacja geometryczna operacji na zbiorach. Działania na zbiorach. Relacje między zbiorami.	C7, C8.	MEK01
1	TK16	Rachunek predykatów. Zapisywanie funkcji zdaniowych. Tworzenie schematów kwantyfikatorowych podanych zdań.	C9.	MEK01 MEK01
1	TK17	Sprawdzenie prawdziwości lub fałszywości schematów kwantyfikatorowych za pomocą diagramów Venna.	C10, C11.	MEK02
1	TK18	Wnioskowania - różne rodzaje. Dowodzenie wprost i nie wprost. Błędy we wnioskowaniu	C12, C13	MEK02 MEK03
1	TK19	Wynikanie logiczne w rachunku predykatów – sprawdzanie metodą graficzną, słuszność schematów.	C13,C14. C15	MEK02

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 1)		Godziny kontaktowe: 15.00 godz./sem.	Uzupełnienie/studiowanie notatek: 2.00 godz./sem.
Ćwiczenia/Lektorat (sem. 1)	Przygotowanie do ćwiczeń: 15.00 godz./sem. Przygotowanie do kolokwium: 5.00 godz./sem.	Godziny kontaktowe: 15.00 godz./sem.	Dokończenia/studiowanie zadań: 2.00 godz./sem.
Konsultacje (sem. 1)
Zaliczenie (sem. 1)

Sposób wystawiania ocen składowych zajęć i oceny końcowej

Forma zajęć	Sposób wystawiania oceny podsumowującej
Wykład
Ćwiczenia/Lektorat
Ocena końcowa

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
(-)

Inne
(-)

Czy podczas egzaminu/zaliczenia student ma możliwość korzystania z materiałów pomocniczych : nie

Treści zajęć powiazane są z prowadzonymi badaniami naukowymi: nie