Uždaryti

Kas yra simbolinė logika

-72%

Kas yra simbolinė logika

(0 įvertinimai/ų)
Pristatymo trukmė: 1 darbo diena
Leidėjas: Vilniaus universiteto leidykla
Išleidimo metai: 2011
Formatas: 17x23, minkšti viršeliai
Puslapių skaičius: 485
ISBN ar kodas: 978995533660
Pirkite dabar!
Internetu: 4,99 €
Knygyne*: 17,29 €
Sutaupote: 12,30 € (72%)
Turime sandėlyje
Vilniuje atsiimk po 15 min!

Anotacija

Knyga "Kas yra simbolinė logika" -  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.

Parašykite atsiliepimą apie prekę!



Būtina įvertinti prekę


Iš viso prekių: 0
Kaina:
Krepšelis

Taip pat siūlome
Transporto rūšių sąveika
Adolfas Baublys
Internetu:
3,82 €
Knygyne*:
6,35 €
Ekonomikos teorija (6-as leidimas)
Artūras Stepanovas, Algirdas Jakutis, Laima Šečkutė, Stepan Zaicev, Vladislavas Petraškevičius
Internetu:
6,79 €
Knygyne*:
8,69 €
Branduolinė ir alternatyvi energetika
Parengė Gediminas Antanas Adlys, Diana Adlienė
Internetu:
5,49 €
Knygyne*:
6,99 €
Gaisrinė sauga ir gelbėjimo darbai
Mečislovas Griškevičius, Ritoldas Šukys, Petras Čyras
Internetu:
3,82 €
Knygyne*:
15,86 €
Reading poetry
Izolda Gabrielė Geniušienė
Internetu:
6,69 €
Knygyne*:
8,46 €
Neturtinės žalos atlyginimas Lietuvoje
Renata Volodko
Internetu:
14,45 €
Knygyne*:
18,94 €
Antanas Baranauskas
Paulius Subačius
Internetu:
6,99 €
Knygyne*:
10,99 €
Intelektinės nuosavybės teisė
R. Birštonas, D. Klimkevičiūtė, N. J. Matulevičienė ir kt.
Internetu:
20,93 €
Knygyne*:
28,96 €
Prostitucijos fenomenas
Valdas Pruskus
Internetu:
3,81 €
Knygyne*:
10,69 €
Įmonių veiklos planavimas ir analizė
Vitalija Bagdžiūnienė
Internetu:
3,99 €
Knygyne*:
6,15 €