Cel kształcenia i wykaz literatury

Główny cel kształcenia: Poznanie podstawowych pojęć z logiki i teorii mnogości oraz podstaw poprawnego wnioskowania i rozumowania.

Ogólne informacje o zajęciach: Zajęcia obejmują podstawy logiki i wnioskowania, ze szczególnym uwzględnieniem klasycznego rachunku zdań oraz predykatów.

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

Marek W., Onyszkiewicz J.

Elementy logiki i teorii mnogości w zadaniach

PWN, Warszawa.

2003

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: Student zarejestrowany na semestr pierwszy.

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

Wymagania wstępne w kategorii Umiejętności: Umiejętność systematycznej nauki.

Wymagania wstępne w kategorii Kompetencji społecznych: Umiejętność nauki i prezentacji zdobytej wiedzy w grupie.

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 PRK
01	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,	K_W10++ K_U01+ K_K01+	P6S_UU P6S_UW P6S_WK
02	Potrafi sprawdzać poprawność wnioskowań w budowaniu dowodów formalnych	wykład, ćwiczenia	sprawdzian pisemny	K_W10++ K_U01+ K_K01++	P6S_UU P6S_UW P6S_WK
03	Rozumie elementarne pojęcia z teorii mnogości	wykład, ćwiczenia	sprawdzian pisemny	K_W10++ K_K01+	P6S_UU P6S_WK

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. 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.	W01,W02, C01,C2	MEK01 MEK02
1	TK02	Tautologie, kontrtautologie, konsekwencje logiczne, systemy dowodzenia.	W03,W04, C03,C4	MEK01 MEK02
1	TK03	Elementy teorii wnioskowania. Reguły wnioskowania.	W05,W06, C05,C6	MEK01 MEK02
1	TK04	Metoda rezolucji, elementy logiki pierwszego rzędu.	W06,W07, C06,C7	MEK01 MEK02
1	TK05	Wiadomości o zbiorach. Algebra zbiorów, prawa algebry zbiorów. Relacje między zbiorami. Iloczyn kartezjański,	W08, C08.	MEK03

Nakład pracy studenta

Forma zajęć	Praca przed zajęciami	Udział w zajęciach	Praca po zajęciach
Wykład (sem. 1)	Przygotowanie do kolokwium: 5.00 godz./sem.	Godziny kontaktowe: 15.00 godz./sem.	Uzupełnienie/studiowanie notatek: 2.00 godz./sem.
Ćwiczenia/Lektorat (sem. 1)	Przygotowanie do ćwiczeń: 5.00 godz./sem. Przygotowanie do kolokwium: 10.00 godz./sem.	Godziny kontaktowe: 15.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	Na podstawie obecności.
Ćwiczenia/Lektorat	Średnia ocen z dwóch kolokwiów, z uwzględnieniem aktywności na ćwiczeniach.
Ocena końcowa	Ocena z ćwiczeń podniesiona o 0.5 za obecności na wykładzie.

Przykładowe zadania

Wymagane podczas egzaminu/zaliczenia
(-)

Realizowane podczas zajęć ćwiczeniowych/laboratoryjnych/projektowych
3.2.jpg
3.1.jpg
3.3.jpg
2.2.jpg
2.1.jpg
1.2.jpg
1.1.jpg

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