Benvenuto!
Accedi
o
registrati
.
25-04-2018, 21:25:10
Home
CDL Informatica
UniCT
CEA
Prof
Help
Search
Calendar
Login
Register
Forum Informatica Unict
»
LAUREA TRIENNALE (D.M. 270/04)
»
I anno
»
Fondamenti di Informatica, 9 CFU
(Moderators:
Giuseppe Scollo
,
Marina Madonia
,
Franco Barbanera
) »
Esercizio semantica Po
Pages:
1
2
[
3
]
Go Down
« precedente
successivo »
Print
Author
Topic: Esercizio semantica Po (Read 1005 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
luca98
Matricola
Offline
Posts: 78
Re:Esercizio semantica Po
«
Reply #30 on:
19-11-2017, 23:50:36 »
Quote from: Franco Barbanera on 19-11-2017, 20:35:47
Quote
se ipotizziamo A=p e B = not(p), vuol dire dire che A è soddisfacibile e B è contraddittoria...
però dire che |= A e |= B è corretto perchè i teoremi di p0 sono tautologie.
ricordando cosa sono A e B possiamo anche affermare che A |= B non è vera perchènessuna B che soddisfi p puo' soddisfare not(p).
Le prime due frasi sono molto poco chiare.
Le potresti riscrivere? (anche come esercizio di comunicazione scritta...)
FB
Quello che voglio dire è
Se ho ad esempio due fbf A = c->d(soddisfacibile ma non tautologica) e B = not(c->c) (contraddittoria) [esempio preso dal post del mio collega]
|= A e |= B non si considerano comunque tautologie?
Logged
Franco Barbanera
Moderator
Forumista Eroico
Offline
Posts: 2.918
Re:Esercizio semantica Po
«
Reply #31 on:
20-11-2017, 09:48:40 »
Se ho ad esempio due fbf A = c->d(soddisfacibile ma non tautologica) e B = not(c->c) (contraddittoria) [esempio preso dal post del mio collega]
|= A e |= B non si considerano comunque tautologie?
? ? ? ? ? ? ! ! ! ? ? ? ?
Andiamo per gradi:
che cos'e' una tautologia?
Logged
Franco Barbanera
Moderator
Forumista Eroico
Offline
Posts: 2.918
Re:Esercizio semantica Po
«
Reply #32 on:
20-11-2017, 09:52:49 »
|= A e |= B non si considerano comunque tautologie?
Inoltre, puoi dire che una fbf A e' una tautologia,
non che
|= A
e' una tautologia.
Come hai scritto te corrisponde a dire
" A e' una tautologia e B e' una tautologia non si considerano comunque tautologie?"
Il che ha ben poco senso.
Logged
luca98
Matricola
Offline
Posts: 78
Re:Esercizio semantica Po
«
Reply #33 on:
20-11-2017, 16:27:48 »
Quote from: Franco Barbanera on 20-11-2017, 09:48:40
Se ho ad esempio due fbf A = c->d(soddisfacibile ma non tautologica) e B = not(c->c) (contraddittoria) [esempio preso dal post del mio collega]
|= A e |= B non si considerano comunque tautologie?
? ? ? ? ? ? ! ! ! ? ? ? ?
Andiamo per gradi:
che cos'e' una tautologia?
una fbf A di p0 è una tautologia se e solo se per ogni assegnamento proposizionale B si ha B-(A) = 1. Cioè A è sempre vera per qualsiasi assegnamento proposizionale.
Logged
Franco Barbanera
Moderator
Forumista Eroico
Offline
Posts: 2.918
Re:Esercizio semantica Po
«
Reply #34 on:
20-11-2017, 18:05:14 »
E quindi, alla luce della corretta definizione da te fornita,
quale dovrebbe essere il senso della tua seguente frase?
Se ho ad esempio due fbf A = c->d(soddisfacibile ma non tautologica) e B = not(c->c) (contraddittoria) [esempio preso dal post del mio collega]
|= A e |= B non si considerano comunque tautologie?
Logged
luca98
Matricola
Offline
Posts: 78
Re:Esercizio semantica Po
«
Reply #35 on:
20-11-2017, 18:38:59 »
effettivamente rileggendola meglio non ha molto senso...ha ragione
io mi confondevo perchè pensavo che A e B dovessero essere per forza tautologie. Ma ora ho capito che nell'esercizio stiamo solo ipotizzando che se |=A (e potrebbe non esserlo) allora |=B (e anche B potrebbe essere o non essere una tautologia)
Logged
giorgio_buzzanca
Matricola
Offline
Gender:
Posts: 22
Re:Esercizio semantica Po
«
Reply #36 on:
20-11-2017, 19:00:20 »
Quote from: Franco Barbanera on 18-11-2017, 13:05:12
Scusa Giorgio, mi sono permesso di editare un pochino il tuo ottimo post chiarificatore
al fine di migliorarne ulteriormente (spero) la comprensione.
Leggo solo ora, grazie professore!
Logged
Indirizzo email:
buzzanca.giorgio@studium.unict.it
Public Key Id: BCE2055D
Public Key Fingerprint: A459D29F68D3BAC39268EEFD9EC6B248BCE2055D
Chiave su keyserver.pgp.com e pgp.mit.edu.
Franco Barbanera
Moderator
Forumista Eroico
Offline
Posts: 2.918
Re:Esercizio semantica Po
«
Reply #37 on:
20-11-2017, 21:14:30 »
Quote from: luca98 on 20-11-2017, 18:38:59
effettivamente rileggendola meglio non ha molto senso...ha ragione
io mi confondevo perchè pensavo che A e B dovessero essere per forza tautologie. Ma ora ho capito che nell'esercizio stiamo solo ipotizzando che se |=A (e potrebbe non esserlo) allora |=B (e anche B potrebbe essere o non essere una tautologia)
Logged
giorgio_buzzanca
Matricola
Offline
Gender:
Posts: 22
Re:Esercizio semantica Po
«
Reply #38 on:
12-01-2018, 09:34:12 »
Questo esercizio mi ha aiutato a comprendere la differenza, nelle definizioni, tra una fbf conseguenza logica di un insieme di ipotesi, e una fbf "valida" in un insieme di ipotesi (Definizione 4.12 del Martini), magari può essere di aiuto a qualcun altro.
A |= B è "l'analogo" della prima delle due, |= A implica |= B della seconda.
Spero di aver fatto un ragionamento corretto.
Logged
Indirizzo email:
buzzanca.giorgio@studium.unict.it
Public Key Id: BCE2055D
Public Key Fingerprint: A459D29F68D3BAC39268EEFD9EC6B248BCE2055D
Chiave su keyserver.pgp.com e pgp.mit.edu.
Franco Barbanera
Moderator
Forumista Eroico
Offline
Posts: 2.918
Re:Esercizio semantica Po
«
Reply #39 on:
12-01-2018, 16:57:04 »
Indicarlo come "analogo" e' un po' forzato.
Comunque sicuramente aiuta a capire la differenza tra una affermazione
della forma perogni... ( ... -> ... ) e (perogni ...) -> (perogni ...),
che e' esattamente il cuore della definizione a cui fai riferimento.
Logged
Pages:
1
2
[
3
]
Go Up
Print
« precedente
successivo »
Jump to:
Please select a destination:
-----------------------------
Area Ufficiale
-----------------------------
=> Annunci Ufficiali
=> Segreteria Didattica
=> Aiuto, proposte e commenti
=> Stages e progetti finali
=> C.O.F. Centro Orientamento e Formazione
=> Messaggi (d)agli amministratori del forum
-----------------------------
LAUREA TRIENNALE (D.M. 270/04)
-----------------------------
=> I anno
===> Architettura degli Elaboratori, 9 CFU
===> Elementi di Analisi Matematica, 12 CFU
===> Fondamenti di Informatica, 9 CFU
===> Matematica Discreta, 12 CFU
===> Programmazione 1, 9 CFU
===> Programmazione 2, 9 CFU
=> II anno
===> Algoritmi, 9 CFU
===> Basi di Dati, 9 CFU
===> Fisica, 9 CFU
===> Ingegneria del Software, 9 CFU
===> Inglese, 3 e 6 CFU
===> Interazione e Multimedia, 9 CFU
===> Sistemi Operativi, 9 CFU
=> III anno
===> Calcolo Numerico, 6 CFU
===> Formazione Numerica, 6 CFU
===> Introduzione all'Analisi dei Dati, 9 CFU
===> Metodi Matematici e Statistici, 6 CFU
===> Reti di Calcolatori, 9 CFU
===> Tecniche di Programmazione Concorrente e Distribuita, 9 CFU
===> Teoria dell'Informazione e Crittografia, 9 CFU
=> III anno - Materie a scelta (crediti liberi)
===> Computer Forensics, 6 CFU
===> Computer Graphics, 9 CFU
===> Digital Game Development, 6 CFU
===> GPGPU/CUDA, 6 CFU
===> Informatica Musicale, 6 CFU
===> LAP 1: programmazione C/C++ 6 CFU
===> LAP 2: Programmazione Android, 6 CFU
===> Sistemi Centrali, 6 CFU
===> Startup d'impresa e Modelli di Business, 6 CFU
===> Internet Security 9 CFU
===> Social Media Management, 6 CFU
=> Corsi disattivati - Vecchio curriculum
===> E-Commerce, 6 CFU
===> Legislazione Informatica, 6 CFU
===> Teoria della Computabilità, 9 CFU
-----------------------------
LAUREA MAGISTRALE
-----------------------------
=> I ANNO
===> Intelligenza Artificiale e Lab, 9 CFU
===> Algoritmi e Complessità, 9 CFU
===> Computer Vision, 9 CFU
===> Crittografia, 9 CFU
===> Fondamenti e Linguaggi per la Programmazione Distribuita
===> Inglese Scientifico, 3 CFU
===> Metodi analitici per l'informatica, 6 CFU
===> Metodi Matematici per l'Ottimizzazione (Corso Integrato), 12 CFU
===> Multimedia, 9 CFU
===> Sicurezza dei Sistemi Informatici 9 CFU
===> Computer Security, 9 CFU
=> II ANNO
===> Machine Learning 6 CFU
===> Teoria della Computabilità, 9 CFU
===> Analisi e Gestione dei Dati, 9 CFU
===> Compilatori, 9 CFU
===> Computazione Naturale e BioIspirata, 6 CFU
===> Introduzione alla Bioinformatica, 9 CFU
===> Linguaggi Formali e Applicazioni, 9 CFU
===> Logica Computazionale, 9 CFU
===> P2P & Wireless Networks, 9 CFU
===> Pattern Recognition, 9 CFU
===> Sistemi Distribuiti, 9 CFU
===> Sistemi dedicati e laboratorio, 9 CFU
===> Web Reasoning
=> Corsi disattivati - Vecchio curriculum
===> Fisica moderna per l'informatica, 6 CFU
===> Linguaggi di Programmazione, 9 CFU
===> Protocolli di Rete
===> Teoria dei Codici, 6 CFU
-----------------------------
Vecchi ordinamenti ad esaurimento
-----------------------------
=> Laurea Triennale (D.M. 509/00)
===> Algoritmi 1
===> Algoritmi 2
===> Basi Teoriche dell'Informatica
===> Economia Aziendale
===> Fisica 1, 6 CFU
===> Fisica 2, 6 CFU
===> Fisica 3
===> Formazione Analitica 1
===> Formazione Analitica 2
===> Formazione Discreta 1
===> Formazione Discreta 2
===> J2ME
===> Lab. Amministrazione di Sistemi
===> Laboratorio di Interazione
===> Modelli Matematici
===> Multimedia per Dispositivi Mobile
===> Progetto Software
===> Reti 1, 6 CFU
===> Sicurezza dei Sistemi Informatici 1
===> Sistemi Distribuiti 1
===> Teoria dei Grafi
===> Usabilità ed Estetica del Web
===> Web Programming
=> Laurea Specialistica (D.M. 509/00)
===> Algoritmi 3
===> Analisi Numerica
===> Complessità
===> Computabilità
===> Data analysis e management
===> Ingegneria del software 2
===> Linguaggi Formali
===> Metodi algoritmici per l'ottimizzazione combinatoria
===> Programmazione Funzionale
===> Reti di Calcolatori 2
===> Ricerca Operativa
===> Sistemi Distribuiti 2
-----------------------------
Dottorandi
-----------------------------
=> Wall
=> Events
-----------------------------
Area Studenti
-----------------------------
=> Agorà
=> L'angolo del tecnico
=> Il Mercatino degli studenti
=> Software
===> -vecchia catalogazione [sarà rimossa a breve]-
=====> Proprietario
=====> Free Software
=====> Open Source
===> Approfondimenti
===> News
===> Studio
===> Videogiochi
===> Networking e telecomunicazioni
===> Sviluppo
===> Ufficio e produttività
===> Sistemi Operativi
=====> Microsoft Windows
=====> GNU/Linux, Unix e BSD
=====> Mac OS X
=====> Windows Phone
=====> Android
=====> iOS
=====> Altri
===> Eventi, conferenze, concorsi
=> Microsoft Student Partner - Avvisi e informazioni
=> ERASMUS/borse di studio internazionali
Caricamento in corso...