libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  LIBRI > FILOSOFIA > LOGICA

orlandelli eugenio; corsi giovanna - corso di logica modale proposizionale

CORSO DI LOGICA MODALE PROPOSIZIONALE

;




Disponibilità: Normalmente disponibile in 20 giorni


PREZZO
19,00 €
NICEPRICE
18,05 €
SCONTO
5%



SPEDIZIONE GRATIS
con corriere veloce per acquisti oltre 29,00 €.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Dettagli

Genere:Libro
Lingua: Italiano
Editore:

Carocci

Pubblicazione: 06/2019





Trama

Le logiche modali rappresentano uno dei campi più ricchi e innovativi della logica contemporanea, e date le loro molteplici applicazioni filosofiche, matematiche e informatiche risultano tra gli strumenti formali più importanti. Il volume tratta gli aspetti fondamentali sia a livello sintattico che semantico delle logiche modali proposizionali e ne presenta vari teoremi di completezza attraverso la tecnica dei modelli canonici, quella dei diagrammi e quella dei calcoli di sequenti con etichette. Vengono inoltre discusse diverse proprietà metateoriche quali canonicità, decidibilità, proprietà del modello finito, finita assiomatizzabilità, esprimibilità modale di proprietà del primo o del secondo ordine. Il testo, senza presupporre conoscenze specifiche se non quella della logica proposizionale classica, fornisce agli studenti di filosofia, matematica e informatica gli strumenti essenziali per un corso introduttivo alle logiche modali e alla loro metateoria.




I LIBRI CHE INTERESSANO A CHI HA I TUOI GUSTI

Corso di logica
Eserciziario di logica. insiemi, metodi dimostrativi, logica proposizionale
Corso di matematica 1
Logica da zero a godel
La bianca scienza



I LIBRI ACQUISTATI DA CHI HA I TUOI GUSTI

Corso di informatica java. volume a
Corso di informatica java. volume b
Programmare in java.ediz. mylab. con contenuto digitale per accesso on line
Database sql & php
Informatica in c e c++ e java



Altre Informazioni

ISBN:

9788843095261

Condizione: Nuovo
Collana: STUDI SUPERIORI
Formato: Brossura
Pagine Arabe: 193


Dicono di noi





Per noi la tua privacy è importante


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie
Rifiuta Tutti i cookie
Accetto tutti i cookie
X