
Logică matematică
17,10 lei
Scopul principal al autorilor este de a prezenta unele teme de bază ale logicii matematice clasice, cu două valori de adevăr, dar și ale algebrei acestei logici. Textul acoperă programa analitică a cursurilor menționate, însă tratează și câteva subiecte mai dificile.
Această carte a avut ca punct de plecare cursurile de logică matematică ținute de autori la Facultatea de Matematică și Informatică a Universității din București și respectiv la Facultatea de Cibernetică, Statistică și Informatică Economică, secția Informatică Economică, din Academia de Studii Economice din București.
Scopul său principal este de a prezenta unele teme de bază ale logicii matematice clasice, cu două valori de adevăr, dar și ale algebrei acestei logici. Textul acoperă programa analitică a cursurilor menționate, însă tratează și câteva subiecte mai dificile.
Cartea are 10 capitole împărțite în 5 părți: Partea I: Logica matematică clasică (prezentare neformalizată)(1. Calculul propozițiilor (prezentare neformalizată), 2. Calculul predicatelor (prezentare neformalizată)); Partea a II-a: Algebre Boole(3. Latici, 4. Algebre Boole); Partea a III-a: Elemente de teoria mulțimilor (5. Algebra Boole a mulțimilor, 6. Algebra relațională a relațiilor); Partea a IV-a: Logica matematică clasică (prezentare formalizată)(7. Sistemul formal al calculului propozițional, 8. Sistemul formal al calculului cu predicate); Partea a V-a: Logica matematică clasică și probabilități (9. Probabilități pe algebre Boole, 10. Modele probabiliste ale calculului cu predicate).
Cartea se adresează studenților de la facultățile de matematică și informatică, de informatică economică, de filosofie, de la facultățile cu profil tehnic etc., precum și cititorilor interesați de logica matematică.
