Gotowe bibliografie tematyczne / Mathematical Logic

Gotowa bibliografia na temat „Mathematical Logic”

Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 30 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Mathematical Logic”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Mathematical Logic"

1

Gehrke, Mai, Carol Walker i Elbert Walker. "A Mathematical Setting for Fuzzy Logics". International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 05, nr 03 (czerwiec 1997): 223–38. http://dx.doi.org/10.1142/s021848859700021x.

Pełny tekst źródła
Streszczenie:
The setup of a mathematical propositional logic is given in algebraic terms, describing exactly when two choices of truth value algebras give the same logic. The propositional logic obtained when the algebra of truth values is the real numbers in the unit interval equipped with minimum, maximum and -x=1-x for conjunction, disjunction and negation, respectively, is the standard propositional fuzzy logic. This is shown to be the same as three-valued logic. The propositional logic obtained when the algebra of truth values is the set {(a, b)|a≤ b and a,b∈[0,1]} of subintervals of the unit interval with component-wise operations, is propositional interval-valued fuzzy logic. This is shown to be the same as the logic given by a certain four element lattice of truth values. Since both of these logics are equivalent to ones given by finite algebras, it follows that there are finite algorithms for determining when two statements are logically equivalent within either of these logics. On this topic, normal forms are discussed for both of these logics.
Style APA, Harvard, Vancouver, ISO itp.
2

Austin, Keith, H. D. Ebbinghaus, J. Flum, W. Thomas i A. S. Ferebee. "Mathematical Logic". Mathematical Gazette 69, nr 448 (czerwiec 1985): 147. http://dx.doi.org/10.2307/3616954.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Bala, Romi, i Hemant Pandey. "Mathematical Logic: Foundations and Beyond". Turkish Journal of Computer and Mathematics Education (TURCOMAT) 9, nr 3 (17.12.2018): 1405–11. http://dx.doi.org/10.61841/turcomat.v9i3.14599.

Pełny tekst źródła
Streszczenie:
Mathematical logic serves as the cornerstone of formal reasoning, providing precise tools for analyzing the structure and validity of arguments. This paper offers a comprehensive exploration of key topics in mathematical logic, spanning from classical propositional and predicate logic to modal logic and non-classical logics. It examines the syntactic and semantic aspects of various logical systems, delves into proof theory and computational complexity, and explores applications in diverse fields such as mathematics, computer science, philosophy, and linguistics. By elucidating the fundamental principles and practical implications of mathematical logic, this paper highlights its pivotal role in advancing knowledge and addressing complex challenges across disciplines.
Style APA, Harvard, Vancouver, ISO itp.
4

Bagaria, Joan. "On Turing’s legacy in mathematical logic and the foundations of mathematics". Arbor 189, nr 764 (30.12.2013): a079. http://dx.doi.org/10.3989/arbor.2013.764n6002.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Austin, Keith, i Elliott Mendelson. "Introduction to Mathematical Logic". Mathematical Gazette 71, nr 458 (grudzień 1987): 325. http://dx.doi.org/10.2307/3617078.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Sabbagh, G. "Conference on Mathematical Logic". Journal of Symbolic Logic 59, nr 1 (marzec 1994): 345. http://dx.doi.org/10.2307/2275271.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Uspensky, Vladimir A. "Kolmogorov and mathematical logic". Journal of Symbolic Logic 57, nr 2 (czerwiec 1992): 385–412. http://dx.doi.org/10.2307/2275276.

Pełny tekst źródła
Streszczenie:
There are human beings whose intellectual power exceeds that of ordinary men. In my life, in my personal experience, there were three such men, and one of them was Andrei Nikolaevich Kolmogorov. I was lucky enough to be his immediate pupil. He invited me to be his pupil at the third year of my being student at the Moscow University. This talk is my tribute, my homage to my great teacher.Andrei Nikolaevich Kolmogorov was born on April 25, 1903. He graduated from Moscow University in 1925, finished his post-graduate education at the same University in 1929, and since then without any interruption worked at Moscow University till his death on October 20, 1987, at the age 84½.Kolmogorov was not only one of the greatest mathematicians of the twentieth century. By the width of his scientific interests and results he reminds one of the titans of the Renaissance. Indeed, he made prominent contributions to various fields from the theory of shooting to the theory of versification, from hydrodynamics to set theory. In this talk I should like to expound his contributions to mathematical logic.Here the term “mathematical logic” is understood in a broad sense. In this sense it, like Gallia in Caesarian times, is divided into three parts:(1) mathematical logic in the strict sense, i.e. the theory of formalized languages including deduction theory,(2) the foundations of mathematics, and(3) the theory of algorithms.
Style APA, Harvard, Vancouver, ISO itp.
8

Slater, Hartley. "Logic is not Mathematical". Polish Journal of Philosophy 6, nr 1 (2012): 69–86. http://dx.doi.org/10.5840/pjphil2012615.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Harriss, E., i W. Hodges. "Logic for Mathematical Writing". Logic Journal of IGPL 15, nr 4 (25.07.2007): 313–20. http://dx.doi.org/10.1093/jigpal/jzm022.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Shapiro, Stewart. "Logic, ontology, mathematical practice". Synthese 79, nr 1 (kwiecień 1989): 13–50. http://dx.doi.org/10.1007/bf00873255.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Mathematical Logic"

1

Wedin, Hanna. "Mathematical Induction". Thesis, Uppsala universitet, Algebra och geometri, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-414099.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Moreno, Dávila Julio Moreno Davila Julio. "Mathematical programming for logic inference /". [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Cerami, Marco. "Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view". Doctoral thesis, Universitat de Barcelona, 2012. http://hdl.handle.net/10803/113374.

Pełny tekst źródła
Streszczenie:
Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the inferences on the required reasoning tasks. It is indeed a fragment of First Order Predicate Logic whose language is strictly related to the one of Modal Logic. Fuzzy Description Logic is the generalization of the classical Description Logic framework thought for reasoning with vague concepts that often arise in practical applications. Fuzzy Description Logic has been investigated since the last decade of the 20th century. During the first fifteen years of investigation their semantics has been based on Fuzzy Set Theory. A semantics based on Fuzzy Set Theory, however, has been shown to have some counter-intuitive behavior, due to the fact that the truth function for the implication used is not the residuum of the truth function for the conjunction. In the meanwhile, Fuzzy Logic has been given a formal framework based on Many-valued Logic. This framework, called Mathematical Fuzzy Logic, has been proposed has the kernel of a mathematically well founded Fuzzy Logic. In this dissertation we propose a Fuzzy Description Logic whose semantics is based on Mathematical Fuzzy Logic as its mathematically well settled kernel. To this end we provide a novel notation that is strictly related to the notation that is used in Mathematical Fuzzy Logic. After having settled the notation, we investigate the hierarchies of description languages over different-“t” norm based semantics and the reductions that can be performed between reasoning tasks. The new framework that we establish gives us the possibility to systematically investigate the relation of Fuzzy Description Logic to Fuzzy First Order Logic and Fuzzy Modal Logic. Next we provide some (un)decidability results for the case of infinite “t”-norm based semantics with or without knowledge bases. Finally we investigate the complexity bounds of reasoning tasks without knowledge bases for basic Fuzzy Description Logics over finite “t”-norms.
El trabajo desarrollado en esta tesis es una propuesta de sistematizar la formalización de las Lógicas de la Descripción Fuzzy a partir de la Lógica Difusa Matemática. Para ello se define un lenguaje para las Lógicas de la Descripción Fuzzy que extiende el lenguaje de la primera tradición de esta disciplina para adaptarlo al lenguaje más propio de la Lógica Difusa Matemática. Desde el punto de vista semántico, la teoría de conjuntos borrosos cede el paso a una semántica algebraica, que es la que se utiliza en la Lógica Difusa Matemática y que resuelve las consecuencias poco intuitivas que tenía la semántica tradicional. A partir de esta formalización, se tratan temas que eran tradicionales en las Lógicas de la Descripción clásicas como son las jerarquías de inclusiones entre lenguajes de la descripción y la relación de las Lógicas de la Descripción Fuzzy con la Lógica Difusa de primer orden por un lado y la Lógica Difusa Multi-modal por el otro. En relación a problemas de decidibilidad se demuestra que la satisfacción y la subsunción de conceptos en el lenguaje ALE bajo una semántica basada en la Lógica del Producto son problemas decidibles. También se demuestra que la consistencia de bases de conocimiento en el lenguaje ALC bajo una semántica basada en la Lógica de Lukasiewicz es un problema indecidible. En relación a problemas de complejidad computacional se demuestra que satisfacción y validez de fórmulas en la Lógica Modal minimal de Lukasiewicz con valores finitos son problemas PSPACE-completos. También se demuestra que la satisfacción y subsunción de conceptos en el lenguaje IALCED bajo una semántica basada en cualquier lógica difusa con valores finitos son problemas PSPACE-completos. Otra contribución de nuestro trabajo es el estudio sistemático de algoritmos de decisión para la satisfacción y subsunción de conceptos en el lenguaje IALCED, respecto a modelos “witnessed", basados en una reducción de es- tos problemas a los problemas de satisfacción y consecuencia en la lógica proposicional correspondiente.
Style APA, Harvard, Vancouver, ISO itp.
4

Greer, Deirdre C. Silvern Steven B. "Logic-mathematical processes in beginning reading". Auburn, Ala., 2005. http://repo.lib.auburn.edu/2005%20Summer/doctoral/GREER_DEIRDRE_28.pdf.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Friend, Michèle Indira. "Second-order logic is logic". Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.

Pełny tekst źródła
Streszczenie:
"Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some philosophical criteria which first motivated Frege in his logicist project. The criteria are that a logic should be universal, it should reflect our intuitive notion of logical validity, and it should be analytic. The analysis is interesting in two respects. One is conceptual: it gives us a purchase on where and how to draw a distinction between logic and other sciences. The other interest is historical: showing that second-order logic is a logical system according to the philosophical criteria mentioned above goes some way towards vindicating Frege's logicist project in a contemporary context.
Style APA, Harvard, Vancouver, ISO itp.
6

Collazo, Antonio. "The Mathematical Landscape". Scholarship @ Claremont, 2011. http://scholarship.claremont.edu/cmc_theses/116.

Pełny tekst źródła
Streszczenie:
The intent of this paper is to present the reader will enough information to spark a curiosity in to the subject. By no means is the following a complete formulation of any of the topics covered. I want to give the reader a tour of the mathematical landscape. There are plenty of further details to explore in each section, I have just touched the tip the iceberg. The work is basically in four sections: Numbers, Geometry, Functions, Sets and Logic, which are the basic building blocks of Math. The first sections are a exposition into the mathematical objects and their algebras. The last section dives into the foundation of math, sets and logic, and develops the ``language'' of Math. My hope is that after this, the reader will have the necessary (maybe not sufficient) information needed to talk the language of Math.
Style APA, Harvard, Vancouver, ISO itp.
7

Fors, Mikael. "Elementary Discrete Sets in Martin-Löf Type Theory". Thesis, Uppsala universitet, Algebra och geometri, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-175717.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Wiklund, Tilo. "Locally cartesian closed categories, coalgebras, and containers". Thesis, Uppsala universitet, Algebra och geometri, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-197556.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Yim, Austin Vincent. "On Galois correspondences in formal logic". Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97.

Pełny tekst źródła
Streszczenie:
This thesis examines two approaches to Galois correspondences in formal logic. A standard result of classical first-order model theory is the observation that models of L-theories with a weak form of elimination of imaginaries hold a correspondence between their substructures and automorphism groups defined on them. This work applies the resultant framework to explore the practical consequences of a model-theoretic Galois theory with respect to certain first-order L-theories. The framework is also used to motivate an examination of its underlying model-theoretic foundations. The model-theoretic Galois theory of pure fields and valued fields is compared to the algebraic Galois theory of pure and valued fields to point out differences that may hold between them. The framework of this logical Galois correspondence is also applied to the theory of pseudoexponentiation to obtain a sketch of the Galois theory of exponential fields, where the fixed substructure of the complex pseudoexponential field B is an exponential field with the field Qrab as its algebraic subfield. This work obtains a partial exponential analogue to the Kronecker-Weber theorem by describing the pure field-theoretic abelian extensions of Qrab, expanding upon work in the twelfth of Hilbert’s problems. This result is then used to determine some of the model-theoretic abelian extensions of the fixed substructure of B. This work also incorporates the principles required of this model-theoretic framework in order to develop a model theory over substructural logics which is capable of expressing this Galois correspondence. A formal semantics is developed for quantified predicate substructural logics based on algebraic models for their propositional or nonquantified fragments. This semantics is then used to develop substructural forms of standard results in classical first-order model theory. This work then uses this substructural model theory to demonstrate the Galois correspondence that substructural first-order theories can carry in certain situations.
Style APA, Harvard, Vancouver, ISO itp.
10

Eliasson, Jonas. "Ultrasheaves". Doctoral thesis, Uppsala : Matematiska institutionen, Univ. [distributör], 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3762.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Mathematical Logic"

1

Jörg, Flum, i Thomas Wolfgang 1947-, red. Mathematical logic. Wyd. 2. New York: Springer-Verlag, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Ebbinghaus, Heinz-Dieter, Jörg Flum i Wolfgang Thomas. Mathematical Logic. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73839-6.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Csirmaz, Laszlo, i Zalán Gyenis. Mathematical Logic. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-79010-3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Li, Wei. Mathematical Logic. Basel: Springer Basel, 2014. http://dx.doi.org/10.1007/978-3-0348-0862-0.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Ebbinghaus, H. D., J. Flum i W. Thomas. Mathematical Logic. New York, NY: Springer New York, 1994. http://dx.doi.org/10.1007/978-1-4757-2355-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Tourlakis, George. Mathematical Logic. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2008. http://dx.doi.org/10.1002/9781118032435.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Petkov, Petio Petrov, red. Mathematical Logic. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0609-2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Kossak, Roman. Mathematical Logic. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-97298-5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Li, Wei. Mathematical Logic. Basel: Birkhäuser Basel, 2010. http://dx.doi.org/10.1007/978-3-7643-9977-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Ebbinghaus, Heinz-Dieter. Mathematical logic. Wyd. 2. New York: Springer, 1996.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Mathematical Logic"

1

Šikić, Zvonimir. "Mathematical Logic: Mathematics of Logic or Logic of Mathematics". W Guide to Deep Learning Basics, 1–6. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-37591-1_1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Kolmogorov, A. N., i A. P. Yushkevich. "Mathematical Logic". W Mathematics of the 19th Century, 1–34. Basel: Birkhäuser Basel, 2001. http://dx.doi.org/10.1007/978-3-0348-8293-4_1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Kuzicheva, Z. A. "Mathematical Logic". W Mathematics of the 19th Century, 1–34. Basel: Birkhäuser Basel, 1992. http://dx.doi.org/10.1007/978-3-0348-5112-1_1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Lavrov, Igor, Larisa Maksimova i Giovanna Corsi. "Mathematical logic". W Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, 51–134. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0185-5_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Lavrov, Igor, Larisa Maksimova i Giovanna Corsi. "Mathematical logic". W Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, 203–47. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0185-5_5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Weik, Martin H. "mathematical logic". W Computer Science and Communications Dictionary, 985. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_11175.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Jebril, Iqbal H., Hemen Dutta i Ilwoo Cho. "Mathematical Logic". W Concise Introduction to Logic and Set Theory, 1–28. Boca Raton: CRC Press, 2021. http://dx.doi.org/10.1201/9780429022838-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Yadav, Santosh Kumar. "Mathematical Logic". W Discrete Mathematics with Graph Theory, 115–79. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-21321-2_3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Clarke, Barry R. "Logic". W Mathematical Conundrums, 135–61. New York: A K Peters/CRC Press, 2023. http://dx.doi.org/10.1201/9781003358275-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Visser, Albert. "Interpretability Logic". W Mathematical Logic, 175–209. Boston, MA: Springer US, 1990. http://dx.doi.org/10.1007/978-1-4613-0609-2_13.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Mathematical Logic"

1

Habiballa, Hashim, i Radek Jendryscik. "Constructivistic mathematical logic education". W INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE 2018). Author(s), 2018. http://dx.doi.org/10.1063/1.5079069.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Tiunova, M. "ONLINE MATHEMATICAL LOGIC TOOLS". W Modern problems of physics education. Baskir State University, 2021. http://dx.doi.org/10.33184/mppe-2021-11-10.154.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Durcheva, Mariana, i Elena Nikolova. "Modeling mathematical logic using MAPLE". W PROCEEDINGS OF THE 44TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS: (AMEE’18). Author(s), 2018. http://dx.doi.org/10.1063/1.5082125.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Aagaard, Frederik Lerbjerg, Jonathan Sterling i Lars Birkedal. "A denotationally-based program logic for higher-order store". W Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Informatics and Computer Science, 2023. http://dx.doi.org/10.46298/entics.12232.

Pełny tekst źródła
Streszczenie:
Separation logic is used to reason locally about stateful programs. State of the art program logics for higher-order store are usually built on top of untyped operational semantics, in part because traditional denotational methods have struggled to simultaneously account for general references and parametric polymorphism. The recent discovery of simple denotational semantics for general references and polymorphism in synthetic guarded domain theory has enabled us to develop TULIP, a higher-order separation logic over the typed equational theory of higher-order store for a monadic version of System F{mu,ref}. The Tulip logic differs from operationally-based program logics in two ways: predicates range over the meanings of typed terms rather than over the raw code of untyped terms, and they are automatically invariant under the equational congruence of higher-order store, which applies even underneath a binder. As a result, "pure" proof steps that conventionally require focusing the Hoare triple on an operational redex are replaced by a simple equational rewrite in Tulip. We have evaluated Tulip against standard examples involving linked lists in the heap, comparing our abstract equational reasoning with more familiar operational-style reasoning. Our main result is the soundness of Tulip, which we establish by constructing a BI-hyperdoctrine over the denotational semantics of F{mu,ref} in an impredicative version of synthetic guarded domain theory.
Style APA, Harvard, Vancouver, ISO itp.
5

Doz, Daniel, Darjo Felda i Mara Cotič. "Using Fuzzy Logic to Assess Studentsʼ Mathematical Knowledge". W Nauka i obrazovanje – izazovi i perspektive. University of Kragujevac, Faculty of Edaucatin in Uzice, 2022. http://dx.doi.org/10.46793/noip.263d.

Pełny tekst źródła
Streszczenie:
Assessing students’ mathematical knowledge informs students, educators, and parents about students’ mathematical competencies. In Italy, some students receive both written and oral grades in mathematics at the end of the first semester, which are then averaged for a final grade. The possibility of applying fuzzy logic, which has been widely used to deal with uncertain or verbal descriptions, to this process has not yet been explored extensively. In the present contribution, we consider a sample of N = 47 Italian high school students, and analyze two fuzzy combinations of their mathematics grades. Students’ hypothetical grades produced with the center-of-gravity defuzzification method are lower than students’ grades in their report cards, while the mean-of-maxima defuzzification method produced grades that are statistically higher than the students’ original grades. Implications are discussed, leading to suggestions for assessment research.
Style APA, Harvard, Vancouver, ISO itp.
6

Badia, Guillermo, i Carles Noguera. "Saturated Models in Mathematical Fuzzy Logic". W 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2018. http://dx.doi.org/10.1109/ismvl.2018.00034.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Gottwald, S. "Toward Problems for Mathematical Fuzzy Logic". W 2006 IEEE International Conference on Fuzzy Systems. IEEE, 2006. http://dx.doi.org/10.1109/fuzzy.2006.1681928.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Le, Van-Hung, Fei Liu i Dinh-Khang Tran. "Mathematical fuzzy logic with many dual hedges". W the Fifth Symposium. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2676585.2676619.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Le, Van-Hung. "First-Order Mathematical Fuzzy Logic with Hedges". W The Fourth International Conference on Database and Data Mining. Academy & Industry Research Collaboration Center (AIRCC), 2016. http://dx.doi.org/10.5121/csit.2016.60509.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Hendel, Russell Jay. "A Mathematical-Logic Technique Facilitating Good Teaching". W 17th International Multi-Conference on Society, Cybernetics and Informatics. Winter Garden, Florida, United States: International Institute of Informatics and Cybernetics, 2023. http://dx.doi.org/10.54808/imsci2023.01.105.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Mathematical Logic"

1

Obua, Steven. Practal — Practical Logic: A Bicycle for Your Mathematical Mind. Recursive Mind, lipiec 2021. http://dx.doi.org/10.47757/practal.1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Prokaznikova, E. N. The distance learning course «The Mathematical Logic and Theory of Algorithms». OFERNIO, grudzień 2018. http://dx.doi.org/10.12731/ofernio.2018.23531.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Frantseva, Anastasiya. The video lectures course "Elements of Mathematical Logic" for students enrolled in the Pedagogical education direction, profile Primary education. Frantseva Anastasiya Sergeevna, kwiecień 2021. http://dx.doi.org/10.12731/frantseva.0411.14042021.

Pełny tekst źródła
Streszczenie:
The video lectures course is intended for full-time and part-time students enrolled in "Pedagogical education" direction, profile "Primary education" or "Primary education - Additional education". The course consists of four lectures on the section "Elements of Mathematical Logic" of the discipline "Theoretical Foundations of the Elementary Course in Mathematics" on the profile "Primary Education". The main lecture materials source is a textbook on mathematics for students of higher pedagogical educational institutions Stoilova L.P. (M.: Academy, 2014.464 p.). The content of the considered mathematics section is adapted to the professional needs of future primary school teachers. It is accompanied by examples of practice exercises from elementary school mathematics textbooks. The course assumes students productive learning activities, which they should carry out during the viewing. The logic’s studying contributes to the formation of the specified profile students of such professional skills as "the ability to carry out pedagogical activities for the implementation of primary general education programs", "the ability to develop methodological support for programs of primary general education." In addition, this section contributes to the formation of such universal and general professional skills as "the ability to perform searching, critical analysis and synthesis of information, to apply a systematic approach to solving the assigned tasks", "the ability to participate in the development of basic and additional educational programs, to design their individual components". The video lectures course was recorded at Irkutsk State University.
Style APA, Harvard, Vancouver, ISO itp.
4

Striuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], grudzień 2018. http://dx.doi.org/10.31812/123456789/2880.

Pełny tekst źródła
Streszczenie:
The article analyzes the main stages of software engineering (SE) development. Based on the analysis of materials from the first SE conferences (1968-1969), it was determined how the software crisis prompted scientists and practitioners to join forces to form an engineering approach to programming. Differences in professional training for SE are identified. The fundamental components of the training of future software engineers are highlighted. The evolution of approaches to the design, implementation, testing and documentation of software is considered. The system scientific, technological approaches and methods for the design and construction of computer programs are highlighted. Analysis of the historical stages of the development of SE showed that despite the universal recognition of the importance of using the mathematical apparatus of logic, automata theory and linguistics when developing software, it was created empirically without its use. The factor that led practitioners to turn to the mathematical foundations of an SE is the increasing complexity of software and the inability of empirical approaches to its development and management to cope with it. The training of software engineers highlighted the problem of the rapid obsolescence of the technological content of education, the solution of which lies in its fundamentalization through the identification of the basic foundations of the industry. It is determined that mastering the basics of computer science is the foundation of vocational training in SE.
Style APA, Harvard, Vancouver, ISO itp.
5

Obua, Steven. Philosophy of Abstraction Logic. Steven Obua (trading as Recursive Mind), grudzień 2021. http://dx.doi.org/10.47757/pal.1.

Pełny tekst źródła
Streszczenie:
Abstraction Logic has been introduced in a previous, rather technical article. In this article we take a step back and look at Abstraction Logic from a conceptual point of view. This will make it easier to appreciate the simplicity, elegance, and pragmatism of Abstraction Logic. We will argue that Abstraction Logic is the best logic for serving as a foundation of mathematics.
Style APA, Harvard, Vancouver, ISO itp.
6

Obua, Steven. Philosophy of Abstraction Logic. Steven Obua (trading as Recursive Mind), grudzień 2021. http://dx.doi.org/10.47757/pal.2.

Pełny tekst źródła
Streszczenie:
Abstraction Logic has been introduced in a previous, rather technical article. In this article we take a step back and look at Abstraction Logic from a conceptual point of view. This will make it easier to appreciate the simplicity, elegance, and pragmatism of Abstraction Logic. We will argue that Abstraction Logic is the best logic for serving as a foundation of mathematics.
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Mathematical Logic” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii