-
1
المؤلفون: Lorenzo Peña
المصدر: Disputatio, Vol 10, Iss 17 (2021)
مصطلحات موضوعية: Verdad-valores, Funciones, B1-5802, Philosophy (General), Lógica no clásica, Lógica combinatoria, Cuantificadores
-
2
المؤلفون: NORIEGA MENDOZA, JESUS RAFAEL, 789785
المساهمون: ROMERO FELIX, CESAR FABIAN
المصدر: Universidad de Sonora
UNISON
Repositorio Institucional UNISONمصطلحات موضوعية: QA9.6 .N67, Lógica simbólica y matemática, MÉTODOS PEDAGÓGICOS, Lógica combinatoria
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::39cea498916d06b3f4cc13b3b133a541
http://www.repositorioinstitucional.uson.mx/handle/unison/4524 -
3
المؤلفون: Zalamea, Fernando
المصدر: Repositorio UN
Universidad Nacional de Colombia
instacron:Universidad Nacional de Colombiaمصطلحات موضوعية: lógica combinatoria, topoi, enumeración, cizallas, fixed points, shears, objetos naturales, número recursividad, residuos, parametrization, realizabilidad, combinatory logic, intuicionismo, enumeration, realizability, residuals, natural number objects, Categorías cartesianas, parametrización, intuitionism, puntos fijos, recursión, Cartesian categories
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a54ccdaa1632bf0d94a7c3f44d1d111b
https://repositorio.unal.edu.co/handle/unal/43569 -
4
المؤلفون: Lorenzo Peña
المساهمون: Peña, Lorenzo [0000-0002-0186-6215], Peña, Lorenzo
المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instname
Lorenzo Peñaمصطلحات موضوعية: Lógica paraconsistente, Infinite-valued logic, Valor de verdad, Modelos algebraicos, Predicate calculus, Lógica difusa, Truth value, Lógica infinivalente, Lógica clásica, Lógica gradualista, Lógica matemática, Tautología, Cálculo de predicados, Algebraic models, Classical logic, Mathematical logic, Lógica fuzzy, Axiomatic systems, Tautology, Lógica combinatoria, Sistema axiomático, Combinatory logics
وصف الملف: 1072697 bytes; application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::190f1ecf58ab268148a8a6f05a93aeab
http://hdl.handle.net/10261/12290 -
5
المؤلفون: Peña, Lorenzo
المساهمون: Peña, Lorenzo, Peña, Lorenzo [0000-0002-0186-6215]
المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instnameمصطلحات موضوعية: Truth, Logical calculus, Prueba, Análisis conceptual, Cálculo lógico, Categorical statements, Being, Leibniz, Gottfried Wilhelm, Proof, Verdad, Ser, Conceptual analysis, Locuciones nominales, Oraciones, Enunciados categóricos, Reducción, Hypothetical statements, Enunciados hipotéticos, Sentences, Lógica combinatoria, Reduction, Noun-phrases, Combinatory logics
وصف الملف: 152939 bytes; application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e8e30fc346bfde8307ed0db8da96895
http://hdl.handle.net/10261/10603 -
6
المؤلفون: Peña, Lorenzo
المساهمون: Peña, Lorenzo [0000-0002-0186-6215], Peña, Lorenzo
المصدر: Digital.CSIC. Repositorio Institucional del CSIC
instnameمصطلحات موضوعية: Reflexivity, Reflexividad, Desnivelación, Comprising relation, Relación de abarcamiento, Set theory, Lógica combinatoria, Teoría de conjuntos, Combinatory logics, Unlevelling
وصف الملف: 212246 bytes; application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::834a9d86a0f2a0cf016d84f4d31c2fd2
http://hdl.handle.net/10261/10408 -
7مورد إلكتروني
مصطلحات الفهرس: 519.688, 004.891, Rule-based expert systems, Tennis hitting technique, Computer algebra systems, Groebner bases, Boolean logic, Algoritmos computacionales, Lógica combinatoria, Sistemas expertos (Informática), Tenis, Informática (Informática), Sistemas expertos, Matemáticas (Matemáticas), 1203.17 Informática, 12 Matemáticas, journal article
URL:
https://hdl.handle.net/20.500.14352/7543 https://doi.org/10.3390/a13050106 https://www.mdpi.com/journal/algorithms -
8مورد إلكتروني
مصطلحات الفهرس: Lógica matemática, Lógica paraconsistente, Lógica gradualista, Lógica difusa, Lógica fuzzy, Lógica clásica, Valor de verdad, Tautología, Lógica infinivalente, Sistema axiomático, Cálculo de predicados, Lógica combinatoria, Modelos algebraicos, Mathematical logic, Classical logic, Truth value, Tautology, Infinite-valued logic, Axiomatic systems, Predicate calculus, Combinatory logics, Algebraic models, libro
-
9مورد إلكتروني
مصطلحات الفهرس: Leibniz, Gottfried Wilhelm, Reducción, Oraciones, Locuciones nominales, Verdad, Ser, Prueba, Análisis conceptual, Cálculo lógico, Enunciados hipotéticos, Enunciados categóricos, Lógica combinatoria, Reduction, Sentences, Noun-phrases, Truth, Being, Proof, Conceptual analysis, Logical calculus, Hypothetical statements, Categorical statements, Combinatory logics, artículo
-
10مورد إلكتروني
مصطلحات الفهرس: Teoría de conjuntos, Lógica combinatoria, Relación de abarcamiento, Reflexividad, Desnivelación, Set theory, Combinatory logics, Comprising relation, Reflexivity, Unlevelling, artículo
URL:
http://hdl.handle.net/10261/10408 http://arbor.revistas.csic.es/index.php/arbor http://arbor.revistas.csic.es/index.php/arbor