CURSOS de Lógica

Mostrando del 1 al 7 de 7 registros
<<>>
Imágen de perfil
Val: 8
Ha mantenido su posición en Lógica (en relación al último mes)
Gráfica de Lógica

.pdfCurso Básico de Introducción a la Programación


Lógica

,

Pseudocódigo/Diagramas de Flujo

Publicado el 26 de Junio del 2020 por Hdb Programming
4.073 visualizaciones desde el 26 de Junio del 2020
Este es un mini-curso de 11 páginas con el que aprenderás los fundamentos básicos de la programación, desde variables y constantes hasta programación orientada a objetos.

No olvides pasarte por mi web para más cursos, puedes acceder mediante este enlace:
https://hdb-programming.github.io/web/
Imágen de perfil

.pdfIntroducción a la lógica


Lógica

Actualizado el 11 de Octubre del 2015 por Administrador (Publicado el 6 de Julio del 2011)
25.387 visualizaciones desde el 6 de Julio del 2011
Manual de introducción a la lógica publicada por Renato Lewin, de la Pontifici Universidad Católica de Chile. En formato pdf. Contiene 67 páginas.
I Parte – LOGICA PROPOSICIONAL
1 Lógica
1.2 Acerca de oraciones y proposiciones.
1.3 Consistencia Lógica
1.4 La Lógica y las Lógicas
1.5 Lógica Matemática
2 La Lógica Proposicional
2.1 El lenguaje L
2.2 Semántica para L
2.3 Tablas de Verdad
2.3.1 Tautologías
2.3.2 Consecuencia Tautológica
2.3.3 Consistencia Lógica en L: Conjuntos Satisfactibles
2.4 Importancia y limitaciones del m´todo de la tablas de verdad
2.5 Arboles de Gentzen
2.5.1 Argumentos correctos y conjuntos sintácticamente inconsistentes
3 El Método Axiomático
3.1 Algunos (Meta)teoremas

II Parte – LOGICA DE PREDICADOS
4 El lenguaje L
5 Interpretación Intuitiva
6 Semántica para La
7 L–Arboles de Gentzen
8 El Sistema
9 Arboles con Ramas Infinitas.
10 Cálculo de Predicados
11 Algunos (Meta)teoremas

III Parte – LOGICA MODAL
12 Lógica Modal
12.1 Modalidades
12.2 Mundos Posibles
12.3 Algunos axiomas y su justificación.
12.4 El sistema T
12.5 El sistema S4
12.6 El sistema S5
13 Arboles Modales
13.1 Reglas para
13.2 Reglas para la Relación de accesibilidad
13.2.1 T–árboles
13.2.2 S4 –Árboles
13.3 Teorema de Completud
13.4 Ejercicios
Imágen de perfil

internetElementos de lógica difusa


Lógica

estrellaestrellaestrellaestrellaestrella(11)
Actualizado el 2 de Enero del 2014 por Administrador (Publicado el 17 de Marzo del 2003)
42.243 visualizaciones desde el 17 de Marzo del 2003
Hacemos una presentación elemental de la lógica difusa. Introducimos la noción de conjuntos difusos para luego presentar diversos cálculos proposicionales de tipo difuso. Las lógicas difusas se han desarrollado rápidamente debido a sus potencialidades de aplicación, entre otras muchas áreas, en el diseño de controladores electrónicos. En este texto presentamos los conceptos básicos e invitaremos al lector a introducirse con mayor profundidad en estos temas a través de lecturas suplementarias.
Imágen de perfil

.pdfTemas de Programación lógica e I.A.


Lógica

Publicado el 28 de Noviembre del 2013 por Administrador
7.718 visualizaciones desde el 28 de Noviembre del 2013
El presente manual trata los siguientes temas:
1. El sistema deductivo de Prolog
2. Introducción a la programación lógica con Prolog
3. Programación con Prolog
4. Resolución de problemas de espacios de estados
5. Procesamiento del lenguaje natural
6. Ingeniería del conocimiento y metaintérpretes
7. Razonamiento por defecto y razonamiento abductivo
8. Programación lógica con restricciones
9. Formalización en Prolog de la lógica proposicional
10. Programación lógica y aprendizaje automático
En formato pdf. Contiene 262 páginas.
Imágen de perfil

internetManual de lógica


Lógica

Publicado el 16 de Noviembre del 2009 por Administrador
17.060 visualizaciones desde el 16 de Noviembre del 2009
Manual realizado por José Barros Troncoso en formato pdf. Contiene 11 páginas.