Tik internetu
Nauja prekė
Šiuo metu prekės neturime
Dėmesio: Paskutinė prekė atsargose!
Pasiekiama:
ISBN / EAN | 978-9955-33-660-0 |
Autorius | Virginia Klenk |
Leidimo metai | 2011 |
Įrišimas | minkštas |
Psl. | 485 |
Formatas (mm) | 175x230 |
Leidykla | „Vilniaus universitetas" |
Iš | anglų kalbos vertė Jonas Dagys, Vilius Dranseika, Aušra Grigaravičiūtė, Ieva Vasilionytė |
Ši 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. Knyga buvo rašoma tikint, kad kiekvienas studentas gali išmokti simbolinę logiką. Ji yra parengta siekiant suteikti studentui kuo daugiau pagalbos ją perprantant.
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.
Pradedantys studentai, ypač turėję keblumų su matematika, kartais nerimauja, ar jie sugebės susidoroti su simbolinės logikos kursu. Jie gali būti nusiteikę, kad „nesigaudo simboliuose", arba kad jie tiesiog negali suprasti formalios medžiagos. Šie nuogąstavimai nepagrįsti. Norint suprasti šioje knygoje pateikiamą medžiagą nebūtina išankstinė pažintis su simbolių sistemomis; ji dėstoma nuo pat pagrindų, tad nė vienas studentas nebus nuskriaustas. Be to, čia vartojami simboliai yra ganėtinai paprasti; tai tiesiog tokių įprastų sąvokų kaip „ir", „arba", „ne" santrumpos. Tiesą sakant, studentai dažnai teigia, kad simbolinės logikos kursas jiems padeda matematikoje, nes jie išmoksta sistemingai analizuoti ir spręsti uždavinius. Jie taip pat atranda, kad vis dėlto sugeba be didesnių keblumų manipuliuoti simboliais.