Fonoteca


Taller de Lógica, III conv., 2023-2024


Introducción a la aritmética de segundo orden. El axioma de inducción

Satisfactibilidad. Modelos. Axiomas y teoremas. Categoricidad

Espacios no euclidianos. Geodésicas. Categoricidad de la aritmética de segundo orden

Categoricidad de la aritmética de segundo orden (fin)

Programación en Rexx. Alfabeto y léxico básico

La conjetura de Collatz. Spaghetti code. Las instrucciones Signal e Interpret

Logaritmos. Flujo de control. Conjunto de instrucciones. Arquitecturas

Soporte experimental para Unicode en el lenguaje Rexx

Contrario y contradictorio. El cuadrado de las oposiciones y su caída en desgracia

Necesario y suficiente. Contrario y contradictorio

Todo está prohibido. La exclusión del tercero excluido. Siete impertinencias

Todo está prohibido. Consideraciones finales

Todo está prohibido. Postfacio

Frege. Introducción a "Sobre sentido y referencia"

El tokenizer de Rexx. "Comentarios sobre sentido y referencia"

Lectura de "A tokenizer for Rexx and ooRexx"


Copyright © EPBCN, 1996-2024.