AT05 Metateorema da dedução

7 março 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

AP04 Cálculo de Hilbert

28 fevereiro 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Derivações, provisos e propriedades do operador de derivação.

AT04 Cálculo de Hilbert

28 fevereiro 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Operador de derivação como ponto fixo,

AP03 Cálculo de Hilbert

25 fevereiro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exemplos de derivações. Uso de lemas. Propriedades do operador de derivação: extensividade, monotonia, idempotência e finitude ou compacidade.

AT03 Cálculo de Hilbert

25 fevereiro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Axiomas e regras de inferência. Derivação de fórmula a partir de conjunto de fórmulas. Exemplos.