Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Shopper rossa
Logica matematica. Strutture, rappresentazioni, deduzioni - Vincenzo Manca - copertina
Logica matematica. Strutture, rappresentazioni, deduzioni - Vincenzo Manca - copertina
Dati e Statistiche
Fuori di libri Post sulla Community Fuori di libri
Wishlist Salvato in 21 liste dei desideri
Nationality Letteratura: Italia
Logica matematica. Strutture, rappresentazioni, deduzioni
Attualmente non disponibile
17,18 €
-5% 18,08 €
17,18 € 18,08 € -5%
Attualmente non disp.
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
17,18 € Spedizione gratuita
disponibile in 7 settimane Non disponibile
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
17,18 € Spedizione gratuita
disponibile in 7 settimane Non disponibile
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
Logica matematica. Strutture, rappresentazioni, deduzioni - Vincenzo Manca - copertina
Chiudi

Promo attive (0)

Descrizione


Il libro è un manuale sintetico per un corso introduttivo di logica matematica. Il sottotitolo "Strutture Rappresentazioni Deduzioni" vuole mettere in rilievo un principio ispiratore del testo. Le strutture sono entità di riferimento del linguaggio logico; le deduzioni sono gli strumenti con cui si elaborano le formule per "calcolarne" i rapporti di conseguenza; le rappresentazioni giocano un ruolo fondamentale, spesso dato per scontato o solo accennato nei manuali di logica, che è preliminare all'attività deduttiva. Qui il lettore è guidato con esempi ed esercizi a capire il senso e il funzionamento dei meccanismi di base della logica dei predicati.
Leggi di più Leggi di meno

Dettagli

2001
9 febbraio 2001
Libro universitario
200 p.
9788833956565

Conosci l'autore

Vincenzo Manca

Vincenzo Manca è docente di informatica all’Università di Verona. I suoi interessi di ricerca spaziano dalla logica matematica e informatica teorica alla genomica computazionale e al calcolo naturale. È autore di numerose pubblicazioni scientifiche e di vari libri, l’ultimo dei quali è Infobiotics (2013). Nel 2018 esce inoltre per Mondadori Un meraviglioso accidente, del quale è coautore insieme a Marco Santagata. Nel 2006 ha fondato a Verona il corso di laurea in bioinformatica e nel 2016, come prosecuzione, il corso di laurea magistrale in «Medical Bioinformatics». Nella stessa università dirige il CBMC (Center for BioMedical Computing). Nel 2019 esce per Bollati Boringhieri Linguaggi e calcoli, principi matematici del...

Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Inserisci la tua mail

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore