Канал: Marco Benini

Logica ad Informatica: crediti

Logica ad Informatica: crediti

Logica ad Informatica: lezione 21

Logica ad Informatica: lezione 21

Logica ad Informatica: lezione 18

Logica ad Informatica: lezione 18

Logica ad Informatica: lezione 24

Logica ad Informatica: lezione 24

Logica ad Informatica: lezione 23

Logica ad Informatica: lezione 23

Logica ad Informatica: lezione 22

Logica ad Informatica: lezione 22

Logica ad Informatica: lezione 20

Logica ad Informatica: lezione 20

Logica ad Informatica: lezione 19

Logica ad Informatica: lezione 19

Logica ad Informatica: lezione 17

Logica ad Informatica: lezione 17

Logica ad Informatica: lezione 16

Logica ad Informatica: lezione 16

Logica ad Informatica: lezione 15

Logica ad Informatica: lezione 15

Logica ad Informatica: lezione 14

Logica ad Informatica: lezione 14

Logica ad Informatica: lezione 13

Logica ad Informatica: lezione 13

Logica ad Informatica: lezione 12

Logica ad Informatica: lezione 12

Logica ad Informatica: lezione 11

Logica ad Informatica: lezione 11

Logica ad Informatica: lezione 10

Logica ad Informatica: lezione 10

Logica ad Informatica: lezione 9

Logica ad Informatica: lezione 9

Logica ad Informatica: lezione 8

Logica ad Informatica: lezione 8

Logica ad Informatica: lezione 7

Logica ad Informatica: lezione 7

Logica ad Informatica: lezione 6

Logica ad Informatica: lezione 6

Logica ad Informatica: lezione 5

Logica ad Informatica: lezione 5

Logica ad Informatica: lezione 4

Logica ad Informatica: lezione 4

Logica ad Informatica: lezione 3

Logica ad Informatica: lezione 3

Logica ad Informatica: lezione 2

Logica ad Informatica: lezione 2

Logica ad Informatica: lezione 1

Logica ad Informatica: lezione 1

Mathematical Logic, part 7: representable entities (extended lesson)

Mathematical Logic, part 7: representable entities (extended lesson)

Mathematical Logic, part 5: examples of primitive recursive functions

Mathematical Logic, part 5: examples of primitive recursive functions

Mathematical Logic, part 5: universal function and fixed points

Mathematical Logic, part 5: universal function and fixed points

Mathematical Logic, part 6: expressive power

Mathematical Logic, part 6: expressive power

Mathematical Logic, part 5: strong normalisation of the simple theory of types

Mathematical Logic, part 5: strong normalisation of the simple theory of types

Mathematical Logic, part 4: more on well orders

Mathematical Logic, part 4: more on well orders

Mathematical Logic, part 5: representable functions in the λ-calculus

Mathematical Logic, part 5: representable functions in the λ-calculus

Mathematical Logic, part 6: completeness

Mathematical Logic, part 6: completeness

Mathematical Logic, part 7: standard and non-standard models

Mathematical Logic, part 7: standard and non-standard models

Mathematical Logic, part 7: coding Peano arithmetic into itself

Mathematical Logic, part 7: coding Peano arithmetic into itself

Mathematical Logic, part 7: Peano arithmetic

Mathematical Logic, part 7: Peano arithmetic

Mathematical Logic, part 6: variations on the theme

Mathematical Logic, part 6: variations on the theme

Mathematical Logic, part 4: ordinal arithmetic

Mathematical Logic, part 4: ordinal arithmetic

Mathematical Logic, part 5: enumeration

Mathematical Logic, part 5: enumeration

Mathematical Logic, part 5: partial recursive functions

Mathematical Logic, part 5: partial recursive functions

Mathematical Logic, part 6: normalisation

Mathematical Logic, part 6: normalisation

Mathematical Logic, part 4: cardinals

Mathematical Logic, part 4: cardinals

Mathematical Logic, part 7: Gödel’s first incompleteness theorem

Mathematical Logic, part 7: Gödel’s first incompleteness theorem

Mathematical Logic, part 7: representable entities

Mathematical Logic, part 7: representable entities

Mathematical Logic, part 4: axiom of choice

Mathematical Logic, part 4: axiom of choice

Mathematical Logic, part 6: motivation

Mathematical Logic, part 6: motivation

Mathematical Logic, part 6: propositions as types

Mathematical Logic, part 6: propositions as types

Mathematical Logic, part 7: Gödel’s second incompleteness theorem

Mathematical Logic, part 7: Gödel’s second incompleteness theorem

Mathematical Logic, part 7: incompleteness in set theory

Mathematical Logic, part 7: incompleteness in set theory

Mathematical Logic, part 6: Heyting algebras

Mathematical Logic, part 6: Heyting algebras

Mathematical Logic, part 5: simple theory of types

Mathematical Logic, part 5: simple theory of types

Mathematical Logic, part 4: transfinite induction

Mathematical Logic, part 4: transfinite induction

Mathematical Logic, part 4: cardinal arithmetic

Mathematical Logic, part 4: cardinal arithmetic

Mathematical Logic, part 6: semantics of first-order intuitionistic logic

Mathematical Logic, part 6: semantics of first-order intuitionistic logic

Mathematical Logic, part 5: pure λ-calculus

Mathematical Logic, part 5: pure λ-calculus

Mathematical Logic, part 7: natural incompleteness

Mathematical Logic, part 7: natural incompleteness

Mathematical Logic, part 3: Tarski's semantics

Mathematical Logic, part 3: Tarski's semantics

Mathematical Logic, part 2: Boolean algebras

Mathematical Logic, part 2: Boolean algebras

Mathematical Logic, part 4: continuum hypothesis

Mathematical Logic, part 4: continuum hypothesis

Mathematical Logic, part 5: primitive recursive functions

Mathematical Logic, part 5: primitive recursive functions

Mathematical Logic, part 7: a discussion about limiting results

Mathematical Logic, part 7: a discussion about limiting results

Mathematical Logic part 3: examples of interpretations

Mathematical Logic part 3: examples of interpretations

Mathematical Logic, part 4: examples of set comparison

Mathematical Logic, part 4: examples of set comparison

Mathematical Logic, part 7: mathematical meaning of incompleteness

Mathematical Logic, part 7: mathematical meaning of incompleteness

Mathematical Logic, part 3: examples about compactness

Mathematical Logic, part 3: examples about compactness

Mathematical Logic, part 4: comparing sets

Mathematical Logic, part 4: comparing sets

Mathematical Logic, part 3: natural deduction

Mathematical Logic, part 3: natural deduction

Mathematical Logic, part 4: axioms

Mathematical Logic, part 4: axioms

Mathematical Logic, part 2: natural deduction

Mathematical Logic, part 2: natural deduction

Mathematical Logic, part 4: paradoxes

Mathematical Logic, part 4: paradoxes

Mathematical Logic, part 3: substitution

Mathematical Logic, part 3: substitution

Mathematical Logic, part 3: compactness

Mathematical Logic, part 3: compactness

Mathematical Logic, part 3: signatures, terms, and formulae

Mathematical Logic, part 3: signatures, terms, and formulae

Mathematical Logic, part 1: an infinite variety of logics

Mathematical Logic, part 1: an infinite variety of logics

Mathematical Logic, part 3: definitions

Mathematical Logic, part 3: definitions

Mathematical Logic, part 3: completeness

Mathematical Logic, part 3: completeness

Mathematical Logic, part 4: ordinals

Mathematical Logic, part 4: ordinals

Mathematical Logic, part 3: Löwenheim–Skolem theorem

Mathematical Logic, part 3: Löwenheim–Skolem theorem

Mathematical Logic, part 6: semantics

Mathematical Logic, part 6: semantics

Mathematical Logic, part 2: completeness with respect to Boolean algebras

Mathematical Logic, part 2: completeness with respect to Boolean algebras

Mathematical Logic, part 3: an alternative notion of completeness

Mathematical Logic, part 3: an alternative notion of completeness

Mathematical Logic, part 2: examples of derivation

Mathematical Logic, part 2: examples of derivation

Mathematical Logic, part 3: topological interpretation of compactness

Mathematical Logic, part 3: topological interpretation of compactness

Mathematical Logic, part 5: computable functions

Mathematical Logic, part 5: computable functions

Mathematical Logic, part 3: examples of derivations

Mathematical Logic, part 3: examples of derivations

Mathematical Logic, part 4: hierarchy of cardinals

Mathematical Logic, part 4: hierarchy of cardinals

Mathematical Logic, part 2: soundness wrt truth table semantics

Mathematical Logic, part 2: soundness wrt truth table semantics

Mathematical Logic, part 7: fixed point lemma

Mathematical Logic, part 7: fixed point lemma

Mathematical Logic, part 6: syntax and natural deduction

Mathematical Logic, part 6: syntax and natural deduction

Mathematical Logic, part 1: a brief history

Mathematical Logic, part 1: a brief history

Mathematical Logic, part 3: soundness

Mathematical Logic, part 3: soundness

Mathematical Logic, part 1: soundness and completeness

Mathematical Logic, part 1: soundness and completeness

Mathematical Logic, part 2: induction

Mathematical Logic, part 2: induction

Mathematical Logic, part 1: syntax, semantics, and intended interpretation

Mathematical Logic, part 1: syntax, semantics, and intended interpretation

Mathematical Logic, part 1: foundational issues

Mathematical Logic, part 1: foundational issues

Mathematical Logic, part 1: bureaucracy

Mathematical Logic, part 1: bureaucracy

Mathematical Logic, part 2: truth tables

Mathematical Logic, part 2: truth tables

Mathematical Logic, part 2: soundness wrt Boolean algebras

Mathematical Logic, part 2: soundness wrt Boolean algebras

Mathematical Logic, part 4: what is a set?

Mathematical Logic, part 4: what is a set?

Mathematical Logic, part 6: soundness

Mathematical Logic, part 6: soundness

Mathematica Logic, part 4: language

Mathematica Logic, part 4: language

Mathematical Logic, part 2: formulae: syntax and intended interpretation

Mathematical Logic, part 2: formulae: syntax and intended interpretation

Mathematical Logic, part 2: interdependence of connectives

Mathematical Logic, part 2: interdependence of connectives

Mathematical Logic, part 2: semantics and Boolean algebras

Mathematical Logic, part 2: semantics and Boolean algebras