Sadržaj predmeta

Logika I

Šifra:

48935

Kratica:

11LO3005

Visoko učilište:

Sveučilište u Zadru

ECTS bodovi:

3.0

Opterećenje:

30(P)

Nositelji:

prof. dr. sc. Jure Zovko

Mate Penava

Izvođači:

prof. dr. sc. Jure Zovko (P)

Mate Penava (P)

Opis predmeta:

Kolegij obrađuje ključne probleme iskazne logike. Sadržaj kolegija: Pojmovne osnove iskazne logike. Valjanost, zadovoljivost, istovrijednost. Prevođenje običnih rečenica na jezik iskazne logike. Semantičke metode očuvanja istine: Istinitosne tablice, reductio ad absurdum i istinitosno stablo. Sintaktički izvodi unutar sustava prirodne dedukcije

Obavezna literatura:

Leigh S. Cauman (2004): Uvod u logiku prvog reda

Srećko Kovač (1998): Logika za gimnazije

Srećko Kovač (2007): Uvod u elementarnu logiku

Mate Penava (2021): Osnove iskazne logike

Preporučena literatura:

Frederick B. Fitch (1952): Symbolic Logic: An Introduction

M. Bergmann, J. Moor, J. Nelson (1998): The logic Book

R. Jeffrey (2004): Formal Logic : Its Scope and Limits

Ishodi učenja:

1. Razumjeti i izložiti osnovne pojmove iskazne logike

2. Rješavati osnovne zadatke iskazne logike

3. Povezivati jezik iskazne logike s običnim jezikom i obrađivati rečenice govornog jezika sredstvima iskazne logike

4. Primijeniti pojmove iz očuvanje istine u iskaznoj logici korištenjem istinitosnih tablica, metode Reductio ad absurdum i istinitosnog stabla

5. Konstruirati dokaze unutar metode prirodne dedukcije

Predmet u nastavnom programu:

Šifra studija	Naziv studija	Razina studija	Semestar izvođenja	Obavezni/Izborni
3	Arheologija (jednopredmetni)	prijediplomski	1	izborni
5	Kultura i turizam (jednopredmetni)	prijediplomski	1	izborni
8	Psihologija (jednopredmetni)	prijediplomski	1	izborni
11	Pedagogija (dvopredmetni)	prijediplomski	1	izborni
13	Hrvatski jezik i književnost (jednopredmetni)	prijediplomski	1	izborni
21	Filozofija (dvopredmetni)	prijediplomski	1	obavezni
35	Kultura i turizam (jednopredmetni)	prijediplomski	1	izborni
111	Rani i predškolski odgoj i obrazovanje (jednopredmetni)	prijediplomski	1	izborni
143	Arheologija (jednopredmetni)	prijediplomski	1	izborni
145	Hrvatski jezik i književnost (jednopredmetni)	prijediplomski	1	izborni
147	Kultura i turizam (jednopredmetni)	prijediplomski	1	izborni
154	Psihologija (jednopredmetni)	prijediplomski	1	izborni
155	Rani i predškolski odgoj i obrazovanje (jednopredmetni)	prijediplomski	1	izborni
159	Filozofija (dvopredmetni)	prijediplomski	1	obavezni
165	Pedagogija (dvopredmetni)	prijediplomski	1	izborni
206	Učiteljski studij (jednopredmetni)	integrirani prijediplomski i diplomski	1	izborni
209	Učiteljski studij (jednopredmetni)	integrirani prijediplomski i diplomski	1	izborni
224	Informacijske tehnologije (jednopredmetni)	prijediplomski	1	izborni
253	Informacijske tehnologije (jednopredmetni)	prijediplomski	1	izborni
258	Informacijske tehnologije (jednopredmetni)	prijediplomski	1	izborni

* predmet se ne predaje u tom semestru

Legenda

P - Predavanja