Enciclopedia EinaudiG. Einaudi, 1979 |
도서 본문에서
14개의 결과 중 1 - 3개
499 페이지
... calcolo proposizionale » > . Osservazione storica : alcune parti dell'algebra booleana furono anticipate da Leibniz nel XVII secolo . L'opera di Leibniz , tuttavia , non diede origine a una linea di sviluppo continuativa . 4 . La logica ...
... calcolo proposizionale » > . Osservazione storica : alcune parti dell'algebra booleana furono anticipate da Leibniz nel XVII secolo . L'opera di Leibniz , tuttavia , non diede origine a una linea di sviluppo continuativa . 4 . La logica ...
502 페이지
... calcolo proposizionale » . Il « calcolo proposizionale » e l ' « algebra delle clas- si » non sono che due interpretazioni dello stesso calcolo . La restrizione alle equazioni non costituisce una limitazione per la logica degli ...
... calcolo proposizionale » . Il « calcolo proposizionale » e l ' « algebra delle clas- si » non sono che due interpretazioni dello stesso calcolo . La restrizione alle equazioni non costituisce una limitazione per la logica degli ...
509 페이지
... < calcolo proposizionale » di fianco a una riga che segue per funzione di verità dalle pre- cedenti , invece di dare effettivamente la deduzione nel calcolo proposizionale ) : a ) ( y ) AxyAxz ( sostituzione nell'assioma ( 1 ) ) b ) Axz ...
... < calcolo proposizionale » di fianco a una riga che segue per funzione di verità dalle pre- cedenti , invece di dare effettivamente la deduzione nel calcolo proposizionale ) : a ) ( y ) AxyAxz ( sostituzione nell'assioma ( 1 ) ) b ) Axz ...
기타 출판본 - 모두 보기
자주 나오는 단어 및 구문
acidi nucleici alcuni allora amminoacidi applicazioni asserzioni base calcolo proposizionale caso certo classe complesso concetto concezione condizioni conoscenza considerata costituisce cultura culturale definire definizione determinato diffeomorfismi differenza elementi empiriche enunciati epistemologica esempio esiste faglie trasformi fenomeni filosofia fisica fondamentale fonetica forma formula fotone frase funzione generale globale grammatica grammatica generativa gruppo ibid insieme labirinto lavoro legami covalenti leggi lettura libertà lingua linguaggio linguistica litosfera livello locale logica macchine macromolecole marginalità Marx maschera masse matematica mente modello molecole mondo natura naturale nozione numero nuovo oggetti osservare parola politica possibile possono principio problema processo prodotto produzione proprietà proprio proteine rapporto rappresentazione realtà regole relazione risultati saussuriana scientifica scienza secolo semantica senso significa significato simbolo Sintagma sistema sociale società soltanto specifica storico struttura subduzione superficie di Riemann sviluppo tale tecnica teorema teoria teoria degli insiemi teorica termini Tōrāh trad tratta umana universale valore viene XVI secolo zione zolle