Your browser does not support JavaScript!
Go to page content

Books of Frixione Marcello

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

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

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

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.

Enter the code to activate the service.