Kas yra simbolinė logika

Kas yra simbolinė logika
Autoriai
Leidykla
Kalba:
lietuvių
Viršelis:
minkštas
Metai:
2011
Formatas (aukštis x plotis):
23,0x17,5
Puslapių skaičius:
485
Išparduotas tiražas

Knyga sumanyta kaip išsamus įvadas į simbolinę logiką. Jam nereikia jokių ankstesnių logikos ar matematikos žinių ir apimamos visos įprastos temos iki pat daugiaviečių predikatų logikos su tapatybe.

Išplėtotos logikos sistemos egzistuoja nuo Aristotelio laikų (384-322 m. pr. Kr.), tačiau simbolinė logika daugiausia yra XX amžiaus išradimas. Logikoje simbolių pranašumai yra tokie patys kaip matematikoje: simboliais lengviau manipuliuoti, jie teikia efektyvias santrumpas ir leidžia vos pažvelgus pamatyti bendrą teiginio struktūrą. Vartojant simbolius galima dirbti su gerokai sudėtingesniais samprotavimais, ir tai logikai leidžia pasiekti daugiau, nei būtų įmanoma priešingu atveju. Ir iš tikrųjų, susiformavus simbolinei logikai, įvyko tikras šios srities žinių sprogimas, buvo padaryta stulbinamų atradimų, kurie be jos būtų neįmanomi.

Komentarai

Parašyti komentarą

Norėdami palikti atsiliepimą prašome prisijungti arba registruotis