Memoria statica # Elementi in memoria statica (4) # Variabili globali Istruzioni macchina Costanti (Variabili locali, paramentri e ritorno di funzione?) Le primi tre elementi descritti di sopra sono sicuramente presenti dopo la fase di compilazione, infatti sono allocati dal…
Strutture algebriche # Differenza matematica e informatica # Una osservazione per quanto riguarda la logica intuizionista è che sta a metà fra matematica e informatica perché la dimostrazione intuizionista possiede in sé un algoritmo e una struttura di dati. Infatti di solito…
8.1 Dimostrazione teorema invarianza # 8.1.1 Introduzione # Basi: Due proposizioni sono equivalenti quando valgono sugli stessi mondi. quindi ∀ v , [ [ F ] ] v ≡ [ [ G ] ] v . Vogliamo dire che dati un buco presente in una proposizione, queste valgono sempre, sono in effetti…
Lo scopo della logica è Correttezza del ragionamento, anche verificata attraverso algoritmi predittivi. Si svilupperanno linguaggi logici I metodi per la veridicità di una sentenza. Possibilità e metodi del ragionamento logico Completezza e non-deducibilità di alcuni…
Con la logica proposizionale studiamo le denotazioni che hanno un valore di verità, ovvero deve essere una sentenza assertiva. Studio solamente le connotazioni che hanno una capacità denotativa, in quanto è solo quello ch emi importa. 6.1 La sintassi # Vengono qui definite le…
Con questo documento iniziamo a parlare di logica, alcuni paradossi famosi all'interno di questo mondo. Paradossi Metalinguistici # Antinomie e Paradossi # Antinomia # Definizione di antinomia è un ragionamento corretto da cui deriva una conclusione errata, probabilmente è…
Coppia ordinata # Definizione di Kuratowsky # Una coppia ordinata è definita dall'insieme ⟨ X , Y ⟩ = { X , { X , Y }} È quindi chiaro che due coppie ordinate sono uguali fra di loro nel caso in cui gli elementi sono uguali ma anche la loro posizione sono uguali Teorema…
Molto importante questo documento per avere chiara la differenza fra la logica intuizionista e la Logica Proposizionale classica. Questa logica intuizionista non si preoccupa del noumeno platonico, ma solo di una prova reale. Introduzione: wikipedia 9 11 Scopi di intuizionista…
Programmare e dimostrare sono sostanzialmente la stessa attività ~ Coen Ma non secondo l'industria... 4.1.1 Definizione e necessità # Branca della linguistica, studia creazione di proposizione e il loro collegamento per la creazione di un periodo In seguito la semantica dà un…
2.1 Elementi di base # 2.1.1 Definizione e caratteristiche # Tutto è un insieme (su questo si basa la maggior parte della matematica ) Efficace nella descrizione degli oggetti (infiniti è ez), ma non è efficiente nel calcolo in quanto non dà nessun indizio sul'implementazione in…