Zobrazeno 1 - 10
of 421
pro vyhledávání: '"Lógica de predicados"'
Autor:
Aristizábal, Manuel Sierra
Model semantics for first-order predicate logic is characterized by a visual inference tool called semantic forcing trees for predicate logic. Formulas that are valid (or invalid) by semantic forcing trees match valid (or invalid) formulas by the usu
Externí odkaz:
http://arxiv.org/abs/2309.16015
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Ingenierías USBMed, Vol 7, Iss 1, Pp 11-19 (2016)
El número de usuarios que en la actualidad se apropia de prácticas de consulta mediante sistemas documentales cada vez es mayor, en este documento se hizo una representación a través de la lógica de predicados, aplicada a una ontología que desc
Externí odkaz:
https://doaj.org/article/0f1bd56355d048c2822845cfd206bb0c
Publikováno v:
Revista EIA, Iss 15, Pp 61-72 (2011)
El mundo organizacional siempre tendrá objetivos que alcanzar y se encontrará en el camino obstáculos que dificultan su consecución. El primer paso para resolver problemas y establecer objetivos es identificarlos y representarlos, lo cual casi si
Externí odkaz:
https://doaj.org/article/75a3b6a9208b4acd9a2c4c6c1e1240e7
Autor:
Jordan Lluch, Cristina
En este vídeo se presentan las leyes de inferencia en Lógica de predicados y el proceso a seguir para realizar dicha inferencia. Se propone un ejemplo que se analiza con todo detalle..
Este vídeo introduce al alumno en la inferencia en Lógic
Este vídeo introduce al alumno en la inferencia en Lógic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::410c969e542570b320d7cc77d5dbd6fa
https://hdl.handle.net/10251/168341
https://hdl.handle.net/10251/168341
Autor:
Jordan Lluch, Cristina
En este vídeo se presentan las reglas aristotélicas, básicas para la simbolización en Lógica de predicados. Se plantean y resuelven diferentes ejercicios para facilitar su aprendizaje.
Este vídeo complementa el estudio básico de la simbol
Este vídeo complementa el estudio básico de la simbol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::6730dec081d39075b57ec1df83468b24
https://hdl.handle.net/10251/167929
https://hdl.handle.net/10251/167929
Autor:
Jordan Lluch, Cristina
En este vídeo se presentan, apoyándose en ejemplos, diferentes equivalencias , relativas al uso de los cuantificadores universal y existencial, de la Lógica de predicados.
Este vídeo complementa el estudio de la simbolización en Lógica de
Este vídeo complementa el estudio de la simbolización en Lógica de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::2d858e4ab0aca1168f894280e0e46ce8
https://hdl.handle.net/10251/167934
https://hdl.handle.net/10251/167934
Autor:
Jordan Lluch, Cristina
En este vídeo se dan los primeros pasos, utilizando ejemplos antes de la formalización matemática, de la simbolización en Lógica de predicados.
Este vídeo introduce al alumno en la simbolización en Lógica de predicados. Se puede utilizar
Este vídeo introduce al alumno en la simbolización en Lógica de predicados. Se puede utilizar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::479492000d4e23823b007f7a0edac589
https://hdl.handle.net/10251/167628
https://hdl.handle.net/10251/167628
Autor:
Jordan Lluch, Cristina
En este vídeo se analiza como leer, interpretar y utilizar los cuantificadores universal. Se ponen ejemplos y se hacen recomendaciones y advertencias acerca de su utilización.
Este vídeo tiene como objetivo aclarar el uso de los cuantificador
Este vídeo tiene como objetivo aclarar el uso de los cuantificador
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1560::a61c062edcbbb614542ee625794c38e5
https://hdl.handle.net/10251/167937
https://hdl.handle.net/10251/167937
Autor:
ZAPATA, CARLOS MARIO1 cmzapata@bt.unal.edu.co, ACEVEDO, JUAN FERNANDO2 jfacevedoo@unal.edu.co, MORENO, DAVID ANDRÉS3 damorenon@unal.edu.co
Publikováno v:
Revista EIA. jul2011, Issue 15, p61-72. 12p.