Your browser does not support JavaScript!

Libri di Marcello Frixione

new

Come ragioniamo

by Marcello Frixione

publisher: Laterza

pages: 176

Ogni volta che ci applichiamo a comprendere una storia, ragioniamo
15.00

Introduzione alle logiche modali

publisher: Laterza

pages: 206

Le logiche modali costituiscono un'estensione della logica classica. Vengono impiegate per studiare gli enunciati e le inferenze in cui compaiono espressioni quali 'è necessario che' e 'è possibile che', dette appunto operatori modali. A partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, questo libro offre un'introduzione chiara e completa alla disciplina.
20.00

Come ragioniamo

by Frixione Marcello

publisher: Laterza

pages: VI-167

Dal ragionamento deduttivo, tradizionale oggetto di studio della logica, a tipi di inferenza come il ragionamento induttivo, q
14.00

La computabilità, algoritmi, logica, calcolatori

publisher: Carocci

pages: 142

La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in mo
12.00

Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità

publisher: Carocci

pages: 432

Nata nel corso degli anni Trenta del secolo scorso nel contesto delle ricerche sui fondamenti della matematica, con lo sviluppo dei calcolatori digitali la teoria della computabilità ha assunto il ruolo di disciplina fondamentale per l'informatica teorica. Attraverso di essa, la sua influenza culturale si è estesa ad ambiti quali l'intelligenza artificiale, le scienze cognitive, la linguistica. Questo volume vuole rendere accessibili, con un adeguato approfondimento, i principali risultati della teoria della computabilità ad un pubblico non specializzato.
35.90

Logica, significato e intelligenza artificiale

by Marcello Frixione

publisher: Franco Angeli

pages: 336

Il libro tratta dei rapporti tra le teorie logico-formali del significato in filosofia del linguaggio e l'intelligenza artificiale di orientamento logico. Questi due settori si sono sviluppati lungo linee in parte parallele, seguendo però direzioni opposte: la semantica formale si è mossa verso l'intelligenza artificiale e l'intelligenza artificiale simbolica si è evoluta in direzione della logica. Ciò ha comportato una sinergia tra i due settori, ma ha anche posto problemi che vale la pena di mettere in luce. Scopo del libro è indagare alcuni aspetti delle relazioni che sussistono fra i due settori di ricerca, mostrando come il loro rapporto, lungi dall'essere circolare, sia fonte di promettenti sviluppi.
36.50

Enter the code for the download.

Inserire il codice per attivare il servizio.

Questo sito o gli strumenti terzi da questo utilizzati si avvalgono di cookie necessari al funzionamento ed utili alle finalita' illustrate nella cookie policy.

Se vuoi saperne di piu' o negare il consenso a tutti o ad alcuni cookie, consulta la cookie policy.

Chiudendo questo avviso, navigando in questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookie.

I Agree