Letteratura scientifica selezionata sul tema "Axiomatic set theory / Congresses"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Axiomatic set theory / Congresses".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Axiomatic set theory / Congresses"
Jiang, Jingying. "From Set Theory to the Axiomatization of Set Theory". Highlights in Science, Engineering and Technology 88 (29 marzo 2024): 243–47. http://dx.doi.org/10.54097/nbmg4652.
Testo completoCutolo, Raffaella, Ulderico Dardano e Virginia Vaccaro. "Axiomatic set theory and unincreasable infinity". Applied Mathematical Sciences 8 (2014): 6725–32. http://dx.doi.org/10.12988/ams.2014.49687.
Testo completoDEISER, OLIVER. "AN AXIOMATIC THEORY OF WELL-ORDERINGS". Review of Symbolic Logic 4, n. 2 (4 marzo 2011): 186–204. http://dx.doi.org/10.1017/s1755020310000390.
Testo completoVdovin, A. M. "FOUNDATIONS OF A NEW AXIOMATIC SET THEORY". Mathematics of the USSR-Izvestiya 37, n. 2 (30 aprile 1991): 467–73. http://dx.doi.org/10.1070/im1991v037n02abeh002074.
Testo completoVdovin, A. M. "EXTENSION OF A NEW AXIOMATIC SET THEORY". Russian Academy of Sciences. Izvestiya Mathematics 42, n. 3 (30 giugno 1994): 615–19. http://dx.doi.org/10.1070/im1994v042n03abeh001548.
Testo completoTamir, Dan E., Cao Zhi-Qiang, Abraham Kandel e Joe L. Mott. "An axiomatic approach to fuzzy set theory". Information Sciences 52, n. 1 (ottobre 1990): 75–83. http://dx.doi.org/10.1016/0020-0255(90)90036-a.
Testo completoHintikka, Jaakko. "Independence-friendly logic and axiomatic set theory". Annals of Pure and Applied Logic 126, n. 1-3 (aprile 2004): 313–33. http://dx.doi.org/10.1016/j.apal.2003.11.006.
Testo completoAnacona, Maribel, Luis Carlos Arboleda e F. Javier Pérez-Fernández. "On Bourbaki’s axiomatic system for set theory". Synthese 191, n. 17 (26 luglio 2014): 4069–98. http://dx.doi.org/10.1007/s11229-014-0515-1.
Testo completoRoemer, John E. "Welfarism and Axiomatic Bargaining Theory". Recherches économiques de Louvain 56, n. 3-4 (1990): 287–301. http://dx.doi.org/10.1017/s0770451800043918.
Testo completoHUANG, GEORGE Q., e ZUHUA JIANG. "FuzzySTAR: Fuzzy set theory of axiomatic design review". Artificial Intelligence for Engineering Design, Analysis and Manufacturing 16, n. 4 (settembre 2002): 291–302. http://dx.doi.org/10.1017/s0890060402164031.
Testo completoTesi sul tema "Axiomatic set theory / Congresses"
Alakhrass, Mohammad. "Superharmonic and multiply superharmonic functions and Jensen measures in axiomatic Brelot spaces". Thesis, McGill University, 2009. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=115846.
Testo completoSotkowitz, Michael. "Logic and mathematics unsettled". Thesis, Boston University, 2008. https://hdl.handle.net/2144/28586.
Testo completoPLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you.
2031-01-02
Zeng, Yong. "Axiomatic approach to the modeling of product conceptual design processes using set theory". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq64894.pdf.
Testo completoWeydert, Emil. "How to approximate the naive comprehension scheme inside of classical logic". Bonn : [s.n.], 1989. http://catalog.hathitrust.org/api/volumes/oclc/19990751.html.
Testo completoBrill, Markus [Verfasser], Felix [Akademischer Betreuer] Brandt e Jérôme [Akademischer Betreuer] Lang. "Set-Valued Solution Concepts in Social Choice and Game Theory : Axiomatic and Computational Aspects / Markus Brill. Gutachter: Felix Brandt ; Jérôme Lang. Betreuer: Felix Brandt". München : Universitätsbibliothek der TU München, 2012. http://d-nb.info/1031512683/34.
Testo completoBatista, Márcio Venâncio. "Proposta de um método de aplicação da teoria de projeto axiomático ao desenvolvimento de software PON-POR". Universidade Tecnológica Federal do Paraná, 2013. http://repositorio.utfpr.edu.br/jspui/handle/1/613.
Testo completoThis research proposes a method to apply the Axiomatic Design Theory (ADT) in the Rule-oriented software development process. In this context, it was not found in the literature, by the efforts of this work research, the application of ADT in Rule-oriented software development. However, the ADT was focus on research in Object-Oriented software development in a previous work, which was used as inspiration in this current research work. This current research proposes the method Axiomatic Design for Notification-Oriented Paradigm and Rule-Oriented Paradigm (AD-NOP-ROP) since the rules follow the NOP structural model. This method proposes a functional decomposition of system requirements in four levels which are: Use Cases, Use Subcases that are Technical Feature Independent, Use Subcases that are Technical Feature Dependent, and Technical Service . Furthermore, the method AD-NOP-ROP applies the ADT Independence Axiom in each one of the decomposition levels by means of design matrixes and metrics which calculates reangularity and semangularity from ADT. The design matrixes still aids in the identification of Exclusive Premises, which are important elements of NOP-ROP systems with Rules whose Actions instigate the creation of conflicting facts. The Information Axiom from ADT is also applied in each decomposition level in order to evaluate design solutions in terms of its amount of information. Still, the method AD-NOP-ROP presents a set of metrics which are specific for evaluation of structural quality of Rule composition, thereby providing criteria for decision making with respect to design quality. Besides, the method AD-NOP-ROP can be used in a simultaneous way with the existent method used for software design based on NOP-ROP application development, so called Notification-Oriented and Rule-Oriented Application Development (NO-RO-AD), in order to assist in the achievement and validation of artifacts. The method AD-NOP-ROP was applied during the development of two software systems, the first one refers to an Electronic Gate and the second one refers to a Sales System. In both applications the method displayed efficiency in its purposes, assisting in the Rule creation process and also in the creation of NOP-ROP software with some quality assurance.
Schön, Michaela Costa. "Número: reflexões sobre as conceituações de Russell e Peano". Pontifícia Universidade Católica de São Paulo, 2006. https://tede2.pucsp.br/handle/handle/11104.
Testo completoCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
This paper aimed the realization of a study concerning the philosophical epistemology of the concept of number, in which it still makes sense to ask: What is number? In this perspective, we have assumed as problematic the philosophical duality of the conceptualizations of numbers, according to Axiomatic (proposed by Peano) e by the Set Theory and Logics (proposed by Russell), being the Conceptualization of Number the problem of this research, concerning the possibility of introducing an ultimate definition to this concept. The focus of this research is in the polemics that exists about the number introduced by Russell (1872-1970) contrary to Piano s (1858-1932), taking as a basis Otte s criticism, introduced in the article: B. Russell Introduction to Mathematical Philosophy , 2001. The research was developed using, as a reference, the sense of Complementarity, as well as using proper qualitative methodological research procedures. As a conclusion, we are able to claim that numbers are: on one hand, characteristics of certain classes and, on the other hand, operative concepts. This way, the existence of polemics between philosophers like Frege and Russell, who have favored predicative aspects, that is, they define number in terms of cardinality and, others like Grassmann, Dedekind and Peano who have highlighted the ordinal numbers, justify Otto s proposition of complementarity between the approaches. The possibility of having cognitive and didactical consequences on the teaching in the use of one or another approach of conceptualization of the number or both, as Otte intends, makes this study a contribution to Mathematical Education
Este trabalho objetivou realizar um estudo sobre a epistemologia filosófica do conceito de número, na qual ainda faz sentido o questionamento: O que é número? Nesta perspectiva, assumiu-se como problemática a dualidade filosófica das conceituações de número, sustentadas pela Axiomática (proposta por Peano) e pela Teoria dos Conjuntos e Lógica (proposta por Russell), sendo o problema de pesquisa a Conceituação de Número frente a essa dualidade e à possibilidade de ser apresentada uma definição em definitivo ao conceito de número. O foco da presente pesquisa está na polêmica existente entre a concepção de número apresentada por Russell (1872-1970) contraposta à de Peano (1858-1932), tomando-se por base as críticas de Otte, apresentadas no artigo: B. Russell Introduction to Mathematical Philosophy , de 2001. A pesquisa desenvolveu-se tendo por referência a noção de Complementaridade, tendo sido utilizados procedimentos metodológicos adequados às pesquisas qualitativas. Como conclusão pode-se afirmar que os números são: por um lado, características de certas classes e, por outro, conceitos operativos. Deste modo, a existência da polêmica entre filósofos como Frege e Russell, que favoreceram os aspectos predicativos, isto é, definem os números em termos de cardinalidade e, outros como Grassmann, Dedekind e Peano que destacam os números ordinais, justifica a proposição de Otte da complementaridade entre as abordagens. A possibilidade de existirem conseqüências cognitivas e didáticas na utilização no ensino de uma ou outra abordagem da conceituação de número ou de ambas como pretende Otte torna, este estudo, uma contribuição para a Educação Matemática
Pereira, Ana Maria. "Abordagem de especificação de requisitos baseada em projeto axiomático". Universidade Tecnológica Federal do Paraná, 2011. http://repositorio.utfpr.edu.br/jspui/handle/1/361.
Testo completoThis dissertation presents an approach that applies the Axiomatic Design Theory to the specification of software systems requirements. This Approach intends to improve the quality of design solution since its inception, which involves from the problem analysis to the requirements identification. The purpose of the proposed approach is to offer methods that allow the use of axiomatic design in a process of requirements engineering. The proposed requirements specification approach establishes the application of the Axiom of Independence in the study of problems and costumer needs. In this way, new domains, the problem domain and the costumer domain, are included in the requirements engineering process. It is established a hierarchical model for the decomposition of Problems, Needs and Requirements. A zig-zag process is suggested in order to use the propose approach in conjunction with a development process as the Unified Process. It is presented a case study of a system for equipment testing in a production line. The case study aims to demonstrate the practical application of the requirements specification approach proposed in this dissertation. In addition, the results of the experiments performed during the research are presented. The requirements specification process for a reporting system is shown to illustrate the experiments. This example helps billustrate how the proposed approach can be used to increase the consistency and quality of software requirements.
Souza, Rafael Gorski Moreno. "Problem-Based SRS: método para especificação de requisitos de software baseado em problemas". Universidade Tecnológica Federal do Paraná, 2016. http://repositorio.utfpr.edu.br/jspui/handle/1/1811.
Testo completoRequirements specification has long been recognized as critical activity in software development processes because of its impact on project risks when poorly performed. A large amount of studies addresses theoretical aspects, propositions of techniques, and recommended practices for Requirements Engineering (RE). To be successful, RE have to ensure that the specified requirements are complete and correct what means that all intents of the stakeholders in a given business context are covered by the requirements and that no unnecessary requirement was introduced. However, the accurate capture the business intents of the stakeholders remains a challenge and it is a major factor of software project failures. This master’s dissertation presents a novel method referred to as “Problem-Based SRS” aiming at improving the quality of the Software Requirements Specification (SRS) in the sense that the stated requirements provide suitable answers to real customer ́s businesses issues. In this approach, the knowledge about the software requirements is constructed from the knowledge about the customer ́s problems. Problem-Based SRS consists in an organization of activities and outcome objects through a process that contains five main steps. It aims at supporting the software requirements engineering team to systematically analyze the business context and specify the software requirements, taking also into account a first glance and vision of the software. The quality aspects of the specifications are evaluated using traceability techniques and axiomatic design principles. The cases studies conducted and presented in this document point out that the proposed method can contribute significantly to improve the software requirements specification.
"An axiomatization of common-sense geometry /". Full text (PDF) from UMI/Dissertation Abstracts International, 2001. http://wwwlib.umi.com/cr/utexas/fullcit?p3008317.
Testo completoLibri sul tema "Axiomatic set theory / Congresses"
Bernays, Paul. Axiomatic set theory. New York: Dover Publications, 1991.
Cerca il testo completoBernays, Paul. Axiomatic set theory. New York: Dover, 1991.
Cerca il testo completoAguilar, Victor. Axiomatic theory of economics. Commack, NY: Nova Science Publishers, Inc., 1999.
Cerca il testo completoPeters, H. J. M. Axiomatic bargaining game theory. Dordrecht: Kluwer Academic Publishers, 1992.
Cerca il testo completoLiu, Xiaodong, e Witold Pedrycz. Axiomatic Fuzzy Set Theory and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00402-5.
Testo completoRoland Hinnion and Thierry Libert (eds). ONE HUNDRED YEARS OF AXIOMATIC SET THEORY. Paris: Academia, 2012.
Cerca il testo completoBellotti, Luca. What is a model of axiomatic set theory? Pisa: ETS, 2012.
Cerca il testo completoNATO Advanced Study Institute on Axiomatic, Enriched, and Motivic Homotopy Theory (2002 Cambridge, England). Axiomatic, enriched, and motivic homotopy theory. Dordrecht: Kluwer Academic Publishers, 2004.
Cerca il testo completoAczel, Peter. Non-well-founded sets. Stanford, CA: Center for the Study of Language and Information, 1988.
Cerca il testo completoFiore, Marcelo P. First steps on the representation of domains (extended abstract). Edinburgh: LFCS, Dept. of Computer Science, University of Edinburgh, 1995.
Cerca il testo completoCapitoli di libri sul tema "Axiomatic set theory / Congresses"
Schindler, Ralf. "Axiomatic Set Theory". In Set Theory, 9–21. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06725-4_2.
Testo completoJech, Thomas. "Axiomatic Set Theory". In Set Theory, 1–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-662-22400-7_1.
Testo completoVaught, Robert L. "Axiomatic Set Theory". In Set Theory, 65–69. Boston, MA: Birkhäuser Boston, 2001. http://dx.doi.org/10.1007/978-1-4612-0835-8_7.
Testo completoMendelson, Elliott. "Axiomatic Set Theory". In Introduction to Mathematical Logic, 176–230. Boston, MA: Springer US, 1987. http://dx.doi.org/10.1007/978-1-4615-7288-6_5.
Testo completoCameron, Peter J. "Axiomatic set theory". In Springer Undergraduate Mathematics Series, 113–40. London: Springer London, 1998. http://dx.doi.org/10.1007/978-1-4471-0589-3_6.
Testo completoCantone, Domenico, Eugenio Omodeo e Alberto Policriti. "Axiomatic Views of Aggregates". In Set Theory for Computing, 61–86. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3452-2_3.
Testo completoGarcía, José Luis. "Classes". In Intuitive Axiomatic Set Theory, 41–56. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003449911-3.
Testo completoGarcía, José Luis. "Pure Sets". In Intuitive Axiomatic Set Theory, 129–44. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003449911-7.
Testo completoGarcía, José Luis. "ZF-Universes". In Intuitive Axiomatic Set Theory, 164–78. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003449911-9.
Testo completoGarcía, José Luis. "Objects, Collections, Sets". In Intuitive Axiomatic Set Theory, 19–40. Boca Raton: Chapman and Hall/CRC, 2024. http://dx.doi.org/10.1201/9781003449911-2.
Testo completoAtti di convegni sul tema "Axiomatic set theory / Congresses"
Nordlund, Mats, Taesik Lee e Sang-Gook Kim. "Axiomatic Design: 30 Years After". In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-52893.
Testo completoPetrolo, Marco, e Erasmo Carrera. "Best Structural Theories for Free Vibrations of Sandwich Composites via Machine Learning". In ASME 2019 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/imece2019-10296.
Testo completoMalinin, Len. "Design Under Contradictory Requirements". In ASME 2016 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/imece2016-65108.
Testo completoTian, Xiaojuan, Guangfei Hu e Jing Li. "A new fuzzy associative classification based on axiomatic fuzzy set theory". In 2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery (FSKD). IEEE, 2010. http://dx.doi.org/10.1109/fskd.2010.5569158.
Testo completoDimarogonas, Andrew D. "On the Axiomatic Foundation of Design". In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0027.
Testo completoHintersteiner, Jason D. "The Application of Axiomatic Design to Complex Wi-Fi Systems". In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-50998.
Testo completoMarchesi, Marianna, Sang-Gook Kim e Dominik T. Matt. "Assessing the Design Innovation Potential of Timber Prefabricated Housing Through Axiomatic Design". In ASME 2015 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/imece2015-50517.
Testo completoZhou, Chunlai, Biao Qin e Xiaoyong Du. "A Savage-style Utility Theory for Belief Functions". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/712.
Testo completoNovaro, Arianna, Umberto Grandi, Dominique Longin e Emiliano Lorini. "Goal-Based Collective Decisions: Axiomatics and Computational Complexity". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/65.
Testo completoPetrolo, Marco, Pierluigi Iannotti, Alfonso Pagani e Erasmo Carrera. "On the Accuracy and Efficiency of Convolutional Neural Networks for Element-Wise Refinement of FEM Models". In ASME 2022 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/imece2022-93995.
Testo completo