Un prim curs de logică

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 5 voturi.

Titlul original:

A First Course in Logic

Conținutul cărții:

A First Course in Logic este o introducere în logica de ordinul întâi potrivită pentru matematicienii și informaticienii din primul și al doilea an. Acest curs are trei componente: logică propozițională; algebre booleene; și logică predicată/de ordinul întâi.

Logica este baza demonstrațiilor în matematică - cum știm că ceea ce spunem este adevărat? -- și, de asemenea, în informatică - cum știu că acest program va face ceea ce cred eu că va face? Surprinzător de puțină matematică este necesară pentru a învăța și a înțelege logica (acest curs nu implică niciun calcul).

Adevărata condiție matematică prealabilă este capacitatea de a manipula simboluri: cu alte cuvinte, algebra de bază. Oricine poate scrie programe ar trebui să aibă această abilitate.