Libri di
Bibliografia di : tutti i libri in vendita online editi da Primevie con argomento Logica
Prossime uscite di
Libri previsti in uscita su Unilibro.it:
- 9791281917453 Per riprendere e perdere fiato
- 9791256973347 The hawks and hyenas of Harar. A journey of discovery
- 9791220065016 Il viaggio di Sofia. Una biografia prenatale in forma di fiaba
- 9788898030538 Monogrammi
- 9788896753262 Dove vivono i bambini
- 9788895903422 Wet moon. Il ritorno dei desideri
- 9788895689180 Storia della musica medievale. I primi passi della musica moderna
- 9788892251731 Di giorno in giorno
- 9788885534292 Gli acrobati
- 9788884214386 Alice nel paese delle meraviglie
Logica informazione automazione Casadio Claudia - Primevie, 2012 -
Il volume ha l'obiettivo di introdurre il lettore al quadro teorico che caratterizza lo sviluppo delle ricerche sull'automazione nel XX secolo, ed il loro collegamento con la logica, fornendo, seppure in modo essenziale, i necessari riferimenti storici e richiami agli autori più rappresentativi. La prima parte è dedicata alla logica ed ai fondamentali concetti quali inferenza, dimostrazione e dualità. In questo quadro vengono mostrate le relazioni tra i principali connettivi verofunzionali e gli operatori impiegati dall'informatica. Una seconda sezione è dedicata al problema delle ontologie, la categorizzazione e la rappresentazione delle conoscenze, con riferimento ai principali modelli teorici. La seconda parte del volume è dedicata alla relazione tra informazione e automazione, partendo dalla analisi simbolica delle informazioni per soffermarsi su algoritmi e diagrammi di flusso. Viene quindi considerato il problema della automazione, con cenni sulla nascita della cibernetica, i suoi principi teorici, la questione dell'intelligenza artificiale.