Home
Flashcards
Preview
01 historie
Home
Get App
Take Quiz
Create
Automatically remove your image background. Try it now!
https://remove-image-background.com
Co je úkolem logiky?
čím přispěl k logice platon?
program exaktní filozofie
čím přispěl k logice aristoteles?
čím přispěl k logice Leibniz?
projekt symbolické notace a mechanizov. usuzování
Leibnizova kresba charakteristiky Aristotelova systému (1666)
čím přispěl logice Bernard Bolzano?
čím příspěl logice Gottlob Frege?
otec moderní logiky
reforma analýzy soudu, teorie kvantikace
čím přispěl logice Bertrand Russell?
rozvoj moderní logiky, aplikace ve filozofii
jaký je rozdíl mezi výrokovou a predikátovou logikou?
výroková logika
studuje logické vztahy na úrovni výroků (přičemž abstrahuje od obsahu atomických výroků)
predikátová logika
studuje logické vztahy v pojmech predikace a kvantifikace
• např.
P(a)
(Objekt a má vlastnost P)
,
∀x(P(x) → Q(x))
(Všechna P jsou
Q.)
• PROLOG ( PROgramming in LOgic)
• automatické dokazování
čím přispěl logice Kurt Gödel?
kdo se zabýval termínem komputabilita?
čím přispěl logice Alfred Tarski?
čím přispěl logice Saul A. Kripke ?
čím přispěl logice Jaakko Hintikka ?
jmenuj významné představitele logiky v česku
jaký je rozdíl mezi matematickou a filozofickou logikou?
Automatically remove your image background. Try it now!
https://remove-image-background.com
Author
iren
ID
353638
Card Set
01 historie
Description
VÝROKOVÁ LOGIKA
Updated
2021-01-23T12:44:01Z
Show Answers
Home
Flashcards
Preview