4265275837

Nazwa przedmiotu	Kod przedmiotu:	Semestr
Logika		I
Logic
Rodzaj zajęć	Liczba godzin/tydzień	Liczba punktów
Wykład, ćwiczenia	IW, lCw	1 ECTS

Prowadzący: dr Roman Olejnik

Jednostka.: Wydział Zarządzania Politechniki Częstochowskiej Instytut Ekonometrii i Informatyki Zakład Matematyki Ekonomicznej Tel: [phone], e-mail: [e-mail]

Status przedmiotu w programie studiów: przedmiot uzupełnia jący Studia stacjonarne pierwszego stopnia, kierunek: Informatyka i Ekonometria.

Specjalność: E-biznes. Ekonometria i Analiza Rynku

Opis przedmiotu:

Wprowadzenie: przedmiot i podział logiki, język oraz metajęzyk. Syntaktyka: kategorie składniowe (funktoiy. formalne symbole kategorii), poprawność składniowa wyrażeń. Klasyczny rachunek zdań: intuicyjne wprowadzenie, język klasycznego rachunku zdań. prawa logiczne, aksjomatyka klasycznego rachunku zdań. Wnioskowanie: od wnioskowania do reguły, niezawodność reguł a poprawność wnioskowania. (7 godz.). Struktury relacyjne: zbiory, operacje na zbiorach i relacje między zbiorami, podział i klasyfikacje, relacje, działania na relacjach i relacje uogólnione. Nazwy: klasyfikacja nazw, stosunki zakresowe nazw. definicje. (4 godz.)

Rachunek predykatów (KRP): język rachunku predykatów, aksjomatyka klasycznego rachunku predykatów, modele i tautologie KRP. wynikanie w KRP (4 godz.).

Cele:

Cel dydaktyczny przedmiotu: Wyrobienie myślenia abstrakcyjnego w powiązaniu z posługiwaniem się pojęciami ogólnonaukowyrni z zakresu logiki i teorii mnogości. Umiejętność: Przeprowadzania dowodów dedukcyjnych w formie schematów rachunku zdań. wnioskowań i schematów rachunku predykatów.

Metody nauczania:

Wykłady z wykorzystaniem środków audiow izualnych oraz ćwiczenia praktyczne..

Wymagana wiedza:

Znajomość matematyki w zakresie szkoły średniej.

Pomoce dydaktyczne:

Podręczniki i skrypty , sprzęt audiowizualny.

Forma egzaminu: pisemne kolokwia, aktywność na zajęciach, odpytywanie na konsultacjach.

Uwagi:

Czynne uczestnictwo studentów w zajęciach..

Literatura:

1.    Ajdukiewicz K.. Logika pragmatyczna. PWN. Warszawa 1965.Janasz W.: Elementy strategii rozwoju przemysłu. Wyd. Uniwers. Szczecińskiego. Szczecin. 2000

2.    Durlik I.: Inżynieria zarządzania. Strategia i projektowanie systemów produkcyjnych. Agencja Wydaw nicza Placet. Warszawa 2000

3.    Grzegorczyk A.. Zarys logiki matematycznej. PWN. Warszawa 1981.

4.    Olejnik R.M.. Ćw iczenia z logiki. Wydawnictwo Politechniki Częstochowskiej. Częstochowa 2002.Pastemak K.: Zarys zarządzania produkcja. PWE. Warszawa 2005

5.    Olejnik R.M., Logika formalna czyli wynikanie i wnioskowanie. Calwarianum. Kalwaria Zebrzydowska 2005.

6.    Olejnik R.M.. Rachunek zdań. Calwarianum. Kalwaria Zebrzydow ska 2004