Diagrama de temas
- UNEG-INFORMÁTICA SEMESTRE 2023-I
UNEG-INFORMÁTICA SEMESTRE 2023-I
Lógica computacional
Prof(a). Ana Sosa
e-mail: sosauneg@gmail.com
Móvil: 0414-8923631
DESCRIPCIÓN DE LA UNIDAD CURRICULAR
Lógica Computacional:
En esta unidad curricular estaremos estudiando la aplicación de la lógica formal para la representación computacional de argumentos, técnicas de deducción y fundamentos con validez y asistidos por computadoras.
- Estimados estudiantes de lógica computacionalsecciones 01,02 y 04Esta es nuestra cartelera informativa, deben estar pendientes de todas nuestras publicaciones.
Grupos Whatsapp
SECCIÓN 01: https://chat.whatsapp.com/
K40xPBwv7heEdqdRiVJE7K SECCIÓN 02: https://chat.whatsapp.com/
ETBHF7gOtbC827CG5m65rn CLASES PRESENCIALES
SECCIÓN 01: LUNES AULA -10 7:50 A.M. A 9:30 A.M.SECCIÓN 02: LUNES AULA -11 09:35 A.M. A 11:20 A.M.SECCIÓN 04: MARTES AULA -12 7:50 A.M. A 9:30 A.M.CLASES VIRTUAL:
Los estudiantes deben unirse al grupo de whatsApp, para recibir las orientaciones.
NO OLVIDES REVISAR TU CRONOGRAMA DE ACTIVIDADES
- TEOREMA DE CONSISTENCIA Y TECNICAS DE PRUEBAS TEMA 2
TEOREMA DE CONSISTENCIA Y TECNICAS DE PRUEBAS TEMA 2
TEMA 2: LEYES DE LA LÓGICA
LEYES DE LA LÓGICA:
Son proposiciones universales, necesarias, evidentes y verdaderas del pensamiento humano.
Las leyes lógicas son universales, se usan en las operaciones con conceptos y juicios, en los razonamientos, demostraciones y refutaciones. Las formales reflejan en la conciencia humana ciertas relaciones existentes entre los objetos del mundo objetivo o propiedades habituales de los objetos como su relativa estabilidad, certeza, la incompatibilidad y la ausencia simultanea de unos mismos indicios.
INFORMACIÓN Y PLAN DE EVALUACIÓN TEMA 02
LEYES DE LA LÓGICA
- Tema 3
Tema 3
TEMA 3: CIRCUITOS LÓGICOS
Qué son circuitos Lógicos ?
Los circuitos lógicos no son más que un arreglo de un conjunto de interruptores de compuertas abiertas y cerradas que tiene como finalidad transmitir información de manera conveniente, es decir, también se pueden negar el paso de la información restringiendo ciertas rutas dirigiendo la información bajo nuestro juicio.
Los circuitos lógicos se construyen a partir de ciertos circuitos elementales
denominados compuertas lógicas, entre las cuales diferenciaremos:
• Compuertas lógicas básicas: OR, AND, NOT.
• Compuertas lógicas derivadas: NOR, NAND.MATERIAL DIDÁCTICO
secciones 01,02 y 04
ACTIVIDADES DE EVALUACIÓN
- Tema 4
Tema 4
TEMA 4: CONSISTENCIA LÓGICA
Teorema de Consistencia o Consistencia lógica
La consistencia en términos Semánticos y sintácticos
Tipos de consistencia
Características y ejemplos
Teorema de Completitud de Golden
Teorema de Incomplenitud de Golden
Metateorema de Validación
Metateorema de solidez y completitud
Metateorema 12 Leyes Booleana
Simplificación
ACTIVIDADES DE EVALUACIÓN