26:03

Dedução em Lógica de Predicados

15:23

Limites proposicionais - Lógica de predicados (parte 1)

20:30

Lógica proposicional [3] - Fórmulas e tabelas verdade (1/3)

14:01

A semântica da Lógica de Predicados. Tradução de sentenças.

23:58

Reais - ep:10 - Introdução a Topologia

30:35

SAT solvers

8:35

Lógica de Predicados Aula 01: Sintaxe (parte 1/7)

26:27

Lógica de primeira ordem [9] - Predicados e relações (1/2)