Le difficolt? che s’incontrano nello studio della matematica, o di una qualunque altra scienza deduttiva, sono dovute in gran parte al fatto che le conoscenze e le capacit? di ragionamento deduttivo, derivanti dall’insegnamento della logica nella scuola secondaria superiore, non sono sufficienti per capire chiaramente i passaggi di una data dimostrazione. L’obiettivo di questo libro ? di formalizzare e ampliare le conoscenze di logica proponendo in maniera relativamente semplice il calcolo dei predicati del primo ordine con identit? e di fornire al lettore il metodo e le tecniche di dimostrazione indispensabili per uno studio pi? profondo delle scienze deduttive.画面が切り替わりますので、しばらくお待ち下さい。 ※ご購入は、楽天kobo商品ページからお願いします。 ※切り替わらない場合は、こちら をクリックして下さい。 ※このページからは注文できません。
