Logika matematyczna w informatyce - Mordechai Ben-Ari - książka wyd. 2005

Opis

Wnioskowanie o prawdziwo´sci rozmaitych stwierdze´n jest powszednim zaj, eciem matematyk´ow i nie tylko matematyk´ow. Dlatego filozofowie i matematycy od dawna zajmowali si, e systematyzacj , a metod wnioskowania i kryteri´ow ich poprawno´sci. Oczywi´scie ostatecznym kryterium poprawno´sci rozumowania pozostaje zawsze zdrowy rozs , adek i przekonanie o s luszno´sci wywodu. Logika, kt´ora narodzi la si, e jako nauka o rozumowaniu, jest jednak wa˙znym i potrzebnym narz , edziem, kt´ore to przekonanie u latwia.