Informazioni sul documento
- Università
- Politecnico di Milano
- Corso di laurea
- Computer Engineering
- Materia
- Logica e Algebra
- Anno accademico
- 2021-2022
- Classificazione
- Esame · Esame completo
- Contenuto
- Soluzione
- Formato originale
- Testo
- Testo ricercabile
← Indietro
EsameEsame completoSoluzione
Prova lab 18 febbraio 2022 soluzione
Esame completo di Logica e Algebra per il corso di Computer Engineering presso Politecnico di Milano. Materiale proveniente dall’archivio storico Studwiz e classificato per la consultazione online.
Logica e AlgebraEsame completo
Informazioni sul documento
Cosa trovi in questo materiale
Esame completo di Logica e Algebra per il corso di Computer Engineering presso Politecnico di Milano. Materiale proveniente dall’archivio storico Studwiz e classificato per la consultazione online.
Qualità dell’importazione: il testo è stato estratto direttamente dal documento originale.
Contenuti estratti dal documento
Passaggi rappresentativi riconosciuti nelle diverse parti del materiale. Il testo completo resta presente nella pagina per la ricerca, mentre l’anteprima compatta rende più semplice la lettura.
Pagina 1
begin_problem(Skeleton). list_of_descriptions. name({**}). author({**}). status(unknown). description({*Skeleton of spass coding*}). end_of_list. list_of_symbols. functions[(f,1),(m,0)]. predicates[(R,2),(S,1)]. end_of_list. list_of_formulae(axioms). % assiomi di poset formula(forall([x],R(x,x))). formula(forall([x,y],implies(and(R(x,y),R(y,x)),equal(x,y)))). formula(forall([x,y,z],implies(and(R(x,y),R(y,z)),R(x,z)))). % f preserva l'ordine formula(forall([x,y],implies(R(x,y),R(f(x),f(y))))). % m è minimale formula(forall([x],implies(R(x,m),equal(m,x)))). % definizione di tipo di S formula(forall([x], equiv(S(x),equal(f(x),m)))). end_of_list. list_of_formulae(conjectures). formula(forall([x,y,z],implies(and(S(x),S(y),R(x,z),R(z,y)),S(z)))). % congettura senza aver definito il tipo S formula(forall([x,y,z],implies(and(equal(f(x),m),equal(f(y),m),R(x,z),R(z,y)),equal(f(z),m)))). end_of_list. list_of_settings(SPASS). {* set_flag(DocProof,1). *} end_of_list. end_problem.
Anteprima
Prima pagina del documento.