| DigiBooks - Prezeranie autora
| Autor: Štěpán; Jan | Rok narodenia: 1948 Rok úmrtia: - |
|---|
| Poznámka: Prof. PhDr. RNDr. Jan Štěpán, CSc., se narodil 19. ledna 1948 v Dolním Újezdě v okrese Přerov. Po studiích na SVVŠ v Lipníku n. Bečvou a v Hranicích na Moravě zapisoval v l. 1966–1971 na Přírodovědecké fakultě Univerzity Palackého numerickou matematiku a v l. 1973–1975 na Filozofické fakultě Univerzity Karlovy dějiny filozofie a logiku. V l. 1979–1980 absolvoval vědeckou aspiranturu na Filozofické fakultě UJEP Brno. V r. 1975 dosáhl titulu PhDr., 1979 RNDr., 1981 CSc. V l. 1971–1977 pracoval v Moravských železárnách v Olomouci (programátor), 1977–1981 na katedře filozofie Filozofické fakulty UJEP Brno, 1981–1986 v Závodech těžkého strojírenství v Olomouci (systémový analytik), 1986–1990 na katedře výpočetní techniky Přírodovědecké fakulty Univerzity Palackého. Od r. 1990 působí na Filozofické fakultě Univerzity Palackého (vedoucí katedry filozofie); 1992 se habilitoval z logiky, 1996 byl jmenován profesorem logiky. |
| Názov: Formální logika | Jazyk: Český Žáner: Vedy humanitné - Filozofia Rok vydania: 1995 |
|---|
Poznámka: Publikace je určena především vysokoškolským studentům oboru filosofie, ale i jiných oborů a všem zájemcům o logiku z řad studentských i nestudentských. Představuje systematicky formální logiku jako disciplínu se širokým spektrem aplikací v řadě oborů na úrovni, která není pouze elementární. Nezabývá se však problematikou matematické logiku v soudobém (poněkud úzkém - instrumentálním) pojetí, ani technickými aplikacemi a příliš " technologickými" metodami logiky. Rovnováha je dodržena i v opačném směru - nejsou zde uvedeny ani základní problémy filosofické logiky, čímž je zdůrazněno co nejširší zaměření logiky.
Text nepředpokládá žádnou předběžnou znalost logiky nebo snad dokonce matematiky. Představuje však dostatečné zasvěcení do tajů logiky pro všechny ty, kteří chtějí vědomě využívat jejich výsledků nebo to mají studijním programem předepsáno. |
| Formát | Stav | Veľkosť | | doc | Oprava po OCR formát | 1559040 |
| Názov: Logika a logické systémy | Jazyk: Český Žáner: Vedy prírodné - Matematika Rok vydania: - |
|---|
| Formát | Stav | Veľkosť | | djvu | OCR obrázky | 1780994 |
|