Literatura académica sobre el tema "Predicate calculus"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Predicate calculus".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Predicate calculus"
LANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL". Review of Symbolic Logic 10, n.º 3 (8 de mayo de 2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Texto completoFriedman, Harvey M. y Andrej Ščedrov. "On the quantificational logic of intuitionistic set theory". Mathematical Proceedings of the Cambridge Philosophical Society 99, n.º 1 (enero de 1986): 5–10. http://dx.doi.org/10.1017/s0305004100063854.
Texto completoRuitenburg, Wim. "Basic Predicate Calculus". Notre Dame Journal of Formal Logic 39, n.º 1 (enero de 1998): 18–46. http://dx.doi.org/10.1305/ndjfl/1039293019.
Texto completoBEN-YAMI, HANOCH. "THE QUANTIFIED ARGUMENT CALCULUS". Review of Symbolic Logic 7, n.º 1 (22 de enero de 2014): 120–46. http://dx.doi.org/10.1017/s1755020313000373.
Texto completoLiusti, Siti Ainim. "ANALISIS KALIMAT BERDASARKAN POLA KALIMAT DASAR DAN KALKULUS PREDIKAT". Adabiyyāt: Jurnal Bahasa dan Sastra 15, n.º 2 (25 de diciembre de 2016): 157. http://dx.doi.org/10.14421/ajbs.2016.15203.
Texto completoAndjelkovic, Danica. "Aristotle's syllogistic and modern logic". Theoria, Beograd 48, n.º 3-4 (2005): 155–66. http://dx.doi.org/10.2298/theo0504155a.
Texto completoShalack, Vladimir. "On Some Applied First-Order Theories which Can Be Represented by Definitions". Bulletin of the Section of Logic 44, n.º 1/2 (1 de enero de 2015): 19–24. http://dx.doi.org/10.18778/0138-0680.44.1.2.03.
Texto completoKonikowska, Beata, Andrzej Tarlecki y Andrzej Blikle. "A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur". Fundamenta Informaticae 14, n.º 4 (1 de abril de 1991): 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Texto completoMonahan, Brian. "Predicate calculus and program semantics". Science of Computer Programming 17, n.º 1-3 (diciembre de 1991): 259–62. http://dx.doi.org/10.1016/0167-6423(91)90048-3.
Texto completoBörger, Egon. "Predicate calculus and program semantics". Science of Computer Programming 23, n.º 1 (octubre de 1994): 91–101. http://dx.doi.org/10.1016/0167-6423(94)90002-7.
Texto completoTesis sobre el tema "Predicate calculus"
Joshi, Rejeev. "Immediacy : a technique for reasoning about asynchrony /". Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Texto completoFlorio, Salvatore. "Completeness of the Predicate Calculus in the Basic Theory of Predication". The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.
Texto completoHondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks". Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.
Texto completoSafe programming as well as most proof systems rely on typing. The more a type system is expressive, the more these types can be used to encode invariants which are therefore verified mechanically through type checking procedures. Dependent types extend simple types by allowing types to depend on values. For instance, it allows to define the types of lists of a certain length. Predicate subtyping is another extension of simple type theory in which types can be defined by predicates. A predicate subtype, usually noted {x: A | P(x)}, is inhabited by elements t of type A for which P(t) is true. This extension provides an extremely rich and intuitive type system, which is at the heart of the proof assistant PVS, at the cost of making type checking undecidable.This work is dedicated to the encoding of predicate subtyping in Dedukti: a logical framework with computation rules. We begin with the encoding of explicit predicate subtyping for which the terms in {x: A | P(x)} and terms of Aare syntactically different. We show that any derivable judgement of predicate subtyping can be encoded into a derivable judgement of the logical framework. Predicate subtyping, is often used implicitly: with no syntactic difference between terms of type A and terms of type {x: A | P(x) }. We enrich our logical framework with a term refiner which can add these syntactic markers. This refiner can be used to refine judgements typed with implicit predicate subtyping into explicited judgements.The proof assistant PVS uses extensively predicate subtyping. We show how its standard library can be exported to Dedukti. Because PVS only store proof traces rather than complete proof terms, we sketch in the penultimate section a procedure to generate complete proof terms from these proof traces.The last section provides the architecture of a repository dedicated to the exchange of formal proofs. The goal of such a repository is to categorise and store proofs encoded in Dedukti to promote interoperability
Lawley, Michael John y n/a. "Program Transformation for Proving Database Transaction Safety". Griffith University. School of Computing and Information Technology, 2000. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20070228.150125.
Texto completoLawley, Michael John. "Program Transformation for Proving Database Transaction Safety". Thesis, Griffith University, 2000. http://hdl.handle.net/10072/365511.
Texto completoThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Computing and Information Technology
Faculty of Information and Communication Technology
Full Text
Peach, Glen. "Visualização gráfica dos fundamentos da lógica matemática por meio de diagramas de conjuntos". Universidade Federal de São Carlos, 2017. https://repositorio.ufscar.br/handle/ufscar/9278.
Texto completoApproved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:17:05Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5)
Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-01-24T12:18:07Z (GMT) No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5)
Made available in DSpace on 2018-01-24T12:21:46Z (GMT). No. of bitstreams: 1 DissGP.pdf: 3104844 bytes, checksum: 2e20a531a8e46327359fb4eacc9adf50 (MD5) Previous issue date: 2017-05-05
Não recebi financiamento
The purpose of this work is to propose a method that allow to bring the fundamentals of mathematical logic to high school through the use of set theory, however making the whole approach of the subject through diagrams, making it possible to avoid, for the demonstrations and understanding necessary to the development of the subject, the rigors of writing used in mathematical logic, which, in a first contact, tend to discourage the interest of beginning students.
O objetivo deste trabalho é propor um método que permita levar os fundamentos da lógica matemática para o ensino médio por meio da utilização da teoria dos conjuntos, porém fazendo todo a aproximação do assunto utilizando diagramas, tornando possível evitar assim, para as demonstrações e o entendimento necessários ao desenvolvimento do assunto, os rigores da escrita utilizada na lógica matemática, que, em um primeiro contato, podem desestimular o interesse dos alunos iniciantes
Aleksandar, Kupusinac. "Analiza osobina dinamičkih postuslova u Horovim tripletima". Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2010. http://dx.doi.org/10.2298/NS20101213KUPUSINAC.
Texto completoDoctoral thesis presents a new and more general method for analizing of structured and object-oriented program semantics, based on the first-order predicate logic. Doctoral thesis consideres next topics:1.) S-program calculus,2.) Definition and characteristics of dynamic postconditions in S-calculus,3.) Conceptual definitions of object, class and invariant,4.) Analyses of invariants in class (SP-analyses and DP-analyses).
Sanctos, Cassia Sampaio. "Considerações sobre a demonstração original do teorema da completude de Kurt Gödel". Pontifícia Universidade Católica de São Paulo, 2015. https://tede2.pucsp.br/handle/handle/11683.
Texto completoCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
The thesis constitutes a critical review of Gödel´s doctoral dissertation which presents a proof for the completeness of first order logic. The introduction addresses the concepts of formalism, axiomatic method and completeness, thus the proof can be contextualized. The language for the restricted functional calculus is defined, with the corresponding syntax and semantics, and the original Gödel´s demonstration is updated. The appendix contains a translation of the referred dissertation, which is unprecedented in Portuguese
O trabalho constitui um comentário crítico da dissertação de doutorado de Gödel que apresenta uma prova de completude da lógica de primeira ordem. A introdução trata dos conceitos de formalismo, método axiomático e completude, para que seja possível contextualizar a prova. A linguagem para o cálculo funcional restrito é definida, com sua sintaxe e semântica, e a demonstração original de Gödel é atualizada. O apêndice contém a tradução da referida dissertação, que é inédita em língua portuguesa
Cialdea, Marta. "Une methode de deduction automatique en logique modale". Toulouse 3, 1986. http://www.theses.fr/1986TOU30179.
Texto completoRaddaoui, Béchir. "Le calcul des predicats : application aux bases de donnees". Toulouse 3, 1987. http://www.theses.fr/1987TOU30046.
Texto completoLibros sobre el tema "Predicate calculus"
Dijkstra, Edsger W. y Carel S. Scholten. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-3228-5.
Texto completoDijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.
Buscar texto completoDijkstra, Edsger Wybe. Predicate calculus and program semantics. New York: Springer-Verlag, 1990.
Buscar texto completoDijkstra, Edsger Wybe. Predicate Calculus and Program Semantics. New York, NY: Springer New York, 1990.
Buscar texto completoSimpson, Stephen G. Subsystems of second order arithmetic. Berlin: Springer, 1999.
Buscar texto completoSimpson, Stephen G. Subsystems of second-order arithmetic. 2a ed. Cambridge: Cambridge University Press, 2009.
Buscar texto completoSimpson, Stephen G. Subsystems of second-order arithmetic. 2a ed. Cambridge: Cambridge University Press, 2009.
Buscar texto completoSimpson, Stephen G. Subsystems of Second Order Arithmetic. 2a ed. Leiden: Cambridge University Press, 2009.
Buscar texto completoBüning, H. Kleine. Aussagenlogik: Deduktion und Algorithmen. Stuttgart: B.G. Teubner, 1994.
Buscar texto completoNaishtat, Francisco S. Lógica para computación. [Buenos Aires]: Editorial Universitaria de Buenos Aires, 1986.
Buscar texto completoCapítulos de libros sobre el tema "Predicate calculus"
Booth, Dexter J. "Predicate calculus". En Foundation Discrete Mathematics for Computing, 151–70. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-1-4899-7114-2_5.
Texto completoBaxter, Nancy, Ed Dubinsky y Gary Levin. "Predicate Calculus". En Learning Discrete Mathematics with ISETL, 225–63. New York, NY: Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4612-3592-7_5.
Texto completoFenton, William E. y Ed Dubinsky. "Predicate Calculus". En Introduction to Discrete Mathematics with ISETL, 73–96. New York, NY: Springer New York, 1996. http://dx.doi.org/10.1007/978-1-4612-4052-5_4.
Texto completoGries, David y Fred B. Schneider. "Predicate Calculus". En A Logical Approach to Discrete Math, 157–77. New York, NY: Springer New York, 1993. http://dx.doi.org/10.1007/978-1-4757-3837-7_10.
Texto completoPace, Gordon J. "Predicate Calculus". En Mathematics of Discrete Structures for Computer Science, 57–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29840-0_3.
Texto completoZeugmann, Thomas, Pascal Poupart, James Kennedy, Xin Jin, Jiawei Han, Lorenza Saitta, Michele Sebag et al. "Predicate Calculus". En Encyclopedia of Machine Learning, 781. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-30164-8_654.
Texto completoPolkowski, Lech. "Predicate Calculus". En Rough Sets, 273–96. Heidelberg: Physica-Verlag HD, 2002. http://dx.doi.org/10.1007/978-3-7908-1776-8_9.
Texto completoBack, Ralph-Johan y Joakim Wright. "Predicate Transformers". En Refinement Calculus, 187–202. New York, NY: Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-1674-2_11.
Texto completoBen-Ari, Mordechai. "Predicate Calculus: Resolution". En Mathematical Logic for Computer Science, 139–72. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6_7.
Texto completoAnglin, W. S. y J. Lambek. "Intuitionistic Predicate Calculus". En The Heritage of Thales, 281–83. New York, NY: Springer New York, 1995. http://dx.doi.org/10.1007/978-1-4612-0803-7_58.
Texto completoActas de conferencias sobre el tema "Predicate calculus"
Dell'aquila, Carlo, Francesco Di Tria, Ezio Lefons y Filippo Tangorra. "Dimensional fact model extension via predicate calculus". En 2009 24th International Symposium on Computer and Information Sciences (ISCIS). IEEE, 2009. http://dx.doi.org/10.1109/iscis.2009.5291846.
Texto completoGanesan, G. y B. N. V. Satish. "A Study on Rough-Fuzzy Predicate Calculus". En 2014 7th International Conference on u- and e- Service, Science and Technology (UNESST). IEEE, 2014. http://dx.doi.org/10.1109/unesst.2014.9.
Texto completoZellweger, H. Paul. "A Decision Tree Interface Based on Predicate Calculus". En 2017 21st International Conference on Information Visualisation (IV). IEEE, 2017. http://dx.doi.org/10.1109/iv.2017.68.
Texto completoConsoli, Robert H. "Predicate calculus for an architecture of multiple neural networks". En SPIE Proceedings, editado por Steven K. Rogers, Eustace L. Dereniak, P. McGeehin, Donald B. Carlin, David B. Kay y Robert E. Sampson. SPIE, 1990. http://dx.doi.org/10.1117/12.21193.
Texto completoLeal, Antonio. "A predicate calculus based language for data verification and validation". En 9th Computing in Aerospace Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1993. http://dx.doi.org/10.2514/6.1993-4462.
Texto completoNikitchenko, Mykola, Oksana Shkilniak y Stepan Shkilniak. "Sequent Calculus for a Program-oriented Predicate Logic over Complex-Named Data". En 2020 10th International Conference on Advanced Computer Information Technologies (ACIT). IEEE, 2020. http://dx.doi.org/10.1109/acit49673.2020.9208809.
Texto completoKosovskaya, Tatiana y Juan Zhou. "Algorithms for Checking Isomorphism of Two Elementary Conjunctiоns". En Computer Science and Information Technologies 2023. Institute for Informatics and Automation Problems, 2023. http://dx.doi.org/10.51408/csit2023_01.
Texto completoKosovskaya, Tatiana M. "Partial deduction in predicate calculus as a tool for artificial intelligence problem complexity decreasing". En 2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems (ICICIS). IEEE, 2015. http://dx.doi.org/10.1109/intelcis.2015.7397199.
Texto completoFinch, William W. y Allen C. Ward. "Quantified Relations: A Class of Predicate Logic Design Constraints Among Sets of Manufacturing, Operating, and Other Variations". En ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/dtm-1550.
Texto completoConsole, Marco, Paolo Guagliardo y Leonid Libkin. "Do We Need Many-valued Logics for Incomplete Information?" En Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/851.
Texto completo