Bibliografías temáticas / Logic (symbolic and mathematical)

Índice

Artículos de revistas
Tesis
Libros
Capítulos de libros
Actas de conferencias
Informes

Literatura académica sobre el tema "Logic (symbolic and mathematical)"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 29 de julio de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Logic (symbolic and mathematical)".

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 "Logic (symbolic and mathematical)"

Shore, Richard A. "The Bulletin of Symbolic Logic." Bulletin of Symbolic Logic 1, no. 1 (March 1995): 1–3. http://dx.doi.org/10.1017/s107989860000826x.

Texto completo

Resumen

At the 1993 Annual meeting of the Association for Symbolic Logic, the Council of the association voted to establish a new journal to be called The Bulletin of Symbolic Logic. The intended goal of the Council was to produce a journal that would be both accessible and of interest to as wide an audience as possible, with the stated purpose of keeping the logic community abreast of important developments in all parts of our discipline. The first issue was to appear in March of 1995 and you now have it in your hands.In accordance with the Council resolution, we intend to publish primarily two types

Los estilos APA, Harvard, Vancouver, ISO, etc.

Peckhaus, Volker. "19th Century Logic Between Philosophy and Mathematics." Bulletin of Symbolic Logic 5, no. 4 (December 1999): 433–50. http://dx.doi.org/10.2307/421117.

Texto completo

Resumen

AbstractThe history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of logic, although logic is evidently one of the basic disciplines of philosophy. One need

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kim, S. H., and N. P. Suh. "Mathematical Foundations for Manufacturing." Journal of Engineering for Industry 109, no. 3 (August 1, 1987): 213–18. http://dx.doi.org/10.1115/1.3187121.

Texto completo

Resumen

For the field of manufacturing to become a science, it is necessary to develop general mathematical descriptions for the analysis and synthesis of manufacturing systems. Standard analytic models, as used extensively in the past, are ineffective for describing the general manufacturing situation due to their inability to deal with discontinuous and nonlinear phenomena. These limitations are transcended by algebraic models based on set structures. Set-theoretic and algebraic structures may be used to (1) express with precision a variety of important qualitative concepts such as hierarchies, (2)

Los estilos APA, Harvard, Vancouver, ISO, etc.

Davis, Martin. "American Logic in the 1920s." Bulletin of Symbolic Logic 1, no. 3 (September 1995): 273–78. http://dx.doi.org/10.2307/421156.

Texto completo

Resumen

In 1934 Alonzo Church, Kurt Gödei, S. C. Kleene, and J. B. Rosser were all to be found in Princeton, New Jersey. In 1936 Church founded The Journal of Symbolic Logic. Shortly thereafter Alan Turing arrived for a two year visit. The United States had become a world center for cutting-edge research in mathematical logic. In this brief survey1 we shall examine some of the writings of American logicians during the 1920s, a period of important beginnings and remarkable insights as well as of confused gropings.The publication of Whitehead and Russell's monumental Principia Mathematica [18] during th

Los estilos APA, Harvard, Vancouver, ISO, etc.

Sato, T., and Y. Kameya. "Parameter Learning of Logic Programs for Symbolic-Statistical Modeling." Journal of Artificial Intelligence Research 15 (December 1, 2001): 391–454. http://dx.doi.org/10.1613/jair.912.

Texto completo

Resumen

We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution. It extends the traditional least Herbrand model semantics in logic programming to distribution semantics, possible world semantics with a probability distribution which is unconditionally applicable to arbitrary logic programs including ones for HMMs, PCFGs and Bayesian networks. We also propose a new EM algorithm, the graphical EM algorithm, that runs for a class of parameterized logic pr

Los estilos APA, Harvard, Vancouver, ISO, etc.

Firnanda, Dwi Tri Fresti, and Indah Wahyuni. "Semiotic Mathematics Representation Ability Based on Symbolic in Solving SPLSV Problems in Class VII Students." Ta'dib 27, no. 1 (June 13, 2024): 205. http://dx.doi.org/10.31958/jt.v27i1.11562.

Texto completo

Resumen

Mathematical semiotic representation is the ability to analyze and express mathematical ideas or notions of a phenomenon and everyday problem situations into the form of signs, images, symbols, and symbols that represent them and provide meaning and explanation to a package of verbal sign messages. The symbolic stage is the stage where students have understood the symbols and concepts and have ideas that are strongly influenced by language and logic skills and students are able to manipulate symbols or symbols of a particular object. The purpose of this study was to determine the representatio

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ashok, Dhananjay, Joseph Scott, Sebastian J. Wetzel, Maysum Panju, and Vijay Ganesh. "Logic Guided Genetic Algorithms (Student Abstract)." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 18 (May 18, 2021): 15753–54. http://dx.doi.org/10.1609/aaai.v35i18.17873.

Texto completo

Resumen

We present a novel Auxiliary Truth enhanced Genetic Algorithm (GA) that uses logical or mathematical constraints as a means of data augmentation as well as to compute loss (in conjunction with the traditional MSE), with the aim of increasing both data efficiency and accuracy of symbolic regression (SR) algorithms. Our method, logic-guided genetic algorithm (LGGA), takes as input a set of labelled data points and auxiliary truths (AT) (mathematical facts known a priori about the unknown function the regressor aims to learn) and outputs a specially generated and curated dataset that can be used

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lobovikov, Vladimir O. "A wonderful analogy between Augustine’s definition of moral-value- functional sense of response-action and Philo’s definition of truth-functional sense of implication in logic." CIENCIA ergo sum 27, no. 3 (August 12, 2020): e94. http://dx.doi.org/10.30878/ces.v27n3a4.

Texto completo

Resumen

The paper is dvoted to interdisciplinary research at the intersection of symbolic logic, mathematical ethics, and philosophical theology. By comparing definitions of relevant functions, a surprising analogy is discovered between the well-known Philo’s precise definition of implication in logic (classical one) and Augustine’s precise definition of God’s morally good reaction to human actions. The moral-value-table-representation of Augustinian doctrine is compared with moral-value-table-representations of Pelagius’ and Leo Tolstoy’s views of adequate moral-response-actions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Riede, U. N., Joh Kensuke, and G. William Moore. "Symbolic logic model of cellular adaptation." Mathematical Modelling 7, no. 9-12 (1986): 1301–23. http://dx.doi.org/10.1016/0270-0255(86)90082-5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

RAHEEM Tunde Rasheed and SAM-KAYODE Christianah Olajumoke (Ph. D). "The Use of Truth Table, Logical Reasoning and Logic Gate in Teaching and Learning Process." International Journal of Latest Technology in Engineering Management & Applied Science 13, no. 6 (June 28, 2024): 1–12. http://dx.doi.org/10.51583/ijltemas.2024.130601.

Texto completo

Resumen

The concept of truth table is based on the content to analyze in teaching and learning logical reasoning and logic gate, which is a visual representation of possible combination of input and output information of Boolean prepositions in logical reasoning and Boolean functions in logic gate plotted into a table. It adopts Boolean algebra for problem solving as a method or science of reasoning, or ability to argue and convince. In the teaching and learning processes of logic, formal and informal reasoning tasks are used in a variety of ways, including using symbols and entirely in plain language

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Tesis sobre el tema "Logic (symbolic and mathematical)"

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

Texto completo

Resumen

"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 ot

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lindroth, Olof. "A random formula lower bound for ordered DLL extended with local symmetry recognition /." Uppsala, 2004. http://www.math.uu.se/research/pub/Lindroth1.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gorman, Judith A. "Aspects of coherent logic." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63868.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Bishop, Joyce Wolfer Otto Albert D. Lubinski Cheryl Ann. "Middle school students' understanding of mathematical patterns and their symbolic representations." Normal, Ill. Illinois State University, 1997. http://wwwlib.umi.com/cr/ilstu/fullcit?p9803721.

Texto completo

Resumen

Thesis (Ph. D.)--Illinois State University, 1997.<br>Title from title page screen, viewed June 1, 2006. Dissertation Committee: Albert D. Otto, Cheryl A. Lubinski (co-chairs), John A. Dossey, Cynthia W. Langrall, George Padavil. Includes bibliographical references (leaves 119-123) and abstract. Also available in print.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Boskovitz, Agnes. "Data editing and logic : the covering set method from the perspective of logic /." View thesis entry in Australian Digital Theses, 2008. http://thesis.anu.edu.au/public/adt-ANU20080314.163155/index.html.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Baysal, Onur Alizde Rarail. "Lower-top and upper-bottom points for any formula in temporal logic/." [s.l.]: [s.n.], 2006. http://library.iyte.edu.tr/tezler/master/matematik/T000549.pdf.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Horsfall, Benjamin Robert. "The logic of bunched implications : a memoir /." Connect to thesis, 2007. http://eprints.unimelb.edu.au/archive/00002633.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Rossberg, Marcus. "Second-order logic : ontological and epistemological problems." Thesis, University of St Andrews, 2006. http://hdl.handle.net/10023/6407.

Texto completo

Resumen

In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some (further to be specified) proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the "epistemic innocence" which would be needed for,

Los estilos APA, Harvard, Vancouver, ISO, etc.

Weiss, Bernhard. "Intuitionistic semantics and the revision of logic." Thesis, University of St Andrews, 1992. http://hdl.handle.net/10023/14755.

Texto completo

Resumen

In this thesis I investigate the implications, for one's account of mathematics, of holding an anti-realist view. The primary aim is to appraise the scope of revision imposed by anti-realism on classical inferential practice in mathematics. That appraisal has consequences both for our understanding of the nature of mathematics and for our attitude towards anti-realism itself. If an anti-realist position seems inevitably to be absurdly revisionary then we have grounds for suspecting the coherence of arguments canvassed in favour of anti-realism. I attempt to defend the anti-realist position by

Los estilos APA, Harvard, Vancouver, ISO, etc.

Brierley, William. "Undecidability of intuitionistic theories." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66016.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Libros sobre el tema "Logic (symbolic and mathematical)"

Klenk, Virginia. Understanding symbolic logic. 3rd ed. Englewood Cliffs, N.J: Prentice Hall, 1994.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Klenk, Virginia. Understanding symbolic logic. 3rd ed. Upper Saddle River, N.J: Prentice Hall, 1994.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Smith, Karl J. Introduction to symbolic logic. 2nd ed. Pacific Grove, Calif: Brooks/Cole Pub. Co., 1991.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Klenk, Virginia. Understanding symbolic logic. 2nd ed. Englewood Cliffs, N.J: Prentice Hall, 1989.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jörg, Flum, and Thomas Wolfgang 1947-, eds. Mathematical logic. 2nd ed. New York: Springer-Verlag, 1994.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Martin, Robert M. Introducing symbolic logic. Peterborough, Ont: Broadview Press, 2004.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Tourlakis, George J. Mathematical logic. Hoboken, N.J: Wiley, 2008.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gustason, William. Elementary symbolic logic. 2nd ed. Prospect Heights, Ill: Waveland Press, 1989.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Summer School and Conference on Mathematical Logic (1988 Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic. New York: Plenum Press, 1990.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Capítulos de libros sobre el tema "Logic (symbolic and mathematical)"

Scott, Dana S. "Computational Logic needs Symbolic Mathematics." In Computational Logic, 210–11. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-76274-1_15.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Buchberger, Bruno. "Computational Mathematics, Computational Logic, and Symbolic Computation." In Computer Science Logic, 98–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45220-1_10.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Bryant, Randal E. "Verification of synchronous circuits by symbolic logic simulation." In Hardware Specification, Verification and Synthesis: Mathematical Aspects, 14–24. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/0-387-97226-9_21.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Roanes-Lozano, Eugenio, Luis M. Laita, and Eugenio Roanes-Macías. "An inference engine for propositional two-valued logic based on the radical membership problem." In Artificial Intelligence and Symbolic Mathematical Computation, 71–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61732-9_51.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jumpertz, Pierre. "Linear logic and real closed fields: A way to handle situations dynamically." In Integrating Symbolic Mathematical Computation and Artificial Intelligence, 93–114. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60156-2_8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Isaac, Manuel Gustavo. "Symbolic Knowledge in Husserlian Pure Logic." In Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition, 77–96. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25800-9_5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Moreno, Ginés, Jaime Penabad, and José Antonio Riaza. "Symbolic Unfolding of Multi-adjoint Logic Programs." In Trends in Mathematics and Computational Intelligence, 43–51. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00485-9_5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Grattan-Guinness, Ivor. "Giuseppe Peano: a Revolutionary in Symbolic Logic?" In Giuseppe Peano between Mathematics and Logic, 135–41. Milano: Springer Milan, 2011. http://dx.doi.org/10.1007/978-88-470-1836-5_7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kovásznai, Gergely, Helmut Veith, Andreas Fröhlich, and Armin Biere. "On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic." In Mathematical Foundations of Computer Science 2014, 481–92. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-44465-8_41.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Zeilberger, Doron. "Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics." In Mathematics, Computer Science and Logic - A Never Ending Story, 101–13. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-00966-7_4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Logic (symbolic and mathematical)"

Huang, Kung-Shiuh, B. K. Jenkins, and A. A. Sawchuk. "Binary image algebra representations of optical cellular logic and symbolic substitution." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/oam.1987.tha4.

Texto completo

Resumen

Binary image algebra (BIA) provides a systematic mathematical formalism for both digital optical cellular logic and symbolic substitution processors, in addition to being a unified theory of parallel binary image processing.1 Cellular logic operations and symbolic substitution rules are proved to be special cases of image transformations in BIA; and BIA serves as an algebraic theory for developing and analyzing parallel algorithms of both cellular logic and symbolic substitution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Dimarogonas, Andrew D. "Interval Analysis of Neural Net Adaptive Expert Systems for Diagnosis of Machinery Incipient Failure." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0279.

Texto completo

Resumen

Abstract Interval calculus is a tool to evaluate a mathematical expression for ranges of values of its parameters. The basic mathematical operations are defined in the interval algebra. Neural networks is an approach leading to engineering expert systems that are capable of learning, self adapting to particular engineering applications and handling fuzzy and interval input information. In traditional machine learning, symbolic representations, such as first order predicate calculus, are used to represent knowledge. The resulting algorithms are specific to the selected representation and presum

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gerges, Nader, Gennady Makarychev, Luisa Ana Barillas, Christophe Darous, Alaa Maarouf, Midhun Madhavan, Sushmitha Kuruba, Lulwa Almarzooqi, Chakib Kada Kloucha, and Hussein Mustapha. "Novel Approach for Automated Pore Network Characterization and Machine Learning Assisted Capillary Pressure Modeling for an Improved Water Saturation Modelling in Carbonate Reservoirs." In SPE Reservoir Characterisation and Simulation Conference and Exhibition. SPE, 2023. http://dx.doi.org/10.2118/212612-ms.

Texto completo

Resumen

Abstract Capillary pressure (Pc) measurements, together with conventional core analysis, are typically used for reservoir characterization and saturation height modeling (SHM). Workflows involving Pc data are time consuming and interpretively biased. We aim to enhance these workflows’ efficiency and reduce the interpretation bias by automating the Pc-based pore network characterization and applying machine learning (ML) to capillary pressure modeling. We have also built advanced analytics dashboards to allow for QC and interactive adjustments by the user. The solution defines the pore system m

Los estilos APA, Harvard, Vancouver, ISO, etc.

Cathey, W. Thomas. "Optical symbolic logic." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/oam.1987.tuq1.

Texto completo

Resumen

Optical systems for implementing optical expert systems have been designed and simulated. Components of the system have been built and tested. The concept, optical system used, and types of Al problem that can be solved with the current system are described. The current research results are reviewed, and future plans are outlined. Results of other optical symbolic logic experiments are also presented. These experiments are based on the use of polarization to carry the information through the system.

Los estilos APA, Harvard, Vancouver, ISO, etc.

McAulay, Alastair D. "Digital optical pipeline cellular automata arithmetic unit." In Optical Computing. Washington, D.C.: Optica Publishing Group, 1995. http://dx.doi.org/10.1364/optcomp.1995.omc3.

Texto completo

Resumen

The arithmetic unit presents a substantial challenge to those interested in the long term goal of ultrafast all-optical general purpose computers (1 Ch. 10). Previously we demonstrated an optical adder using electron trapping materials for which the speed seems to be limited to hundreds of nanseconds (2). The multiplication of images in 160 fs was recently demonstrated by means of four-wave mixing in a new polymer material (3). We present a conceptual method of using such a material in a loop to perform pipeline digital arithmetic operations such as addition and multiplication. Only the word o

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ludwig, Simone A., Omer F. Rana, William Naylor, and Julian Padget. "Mathematical matchmaker for numeric and symbolic services." In the fourth international joint conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1082473.1082819.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Zhao, Siang, Zhongyang Li, Zhenbang Chen, and Ji Wang. "Symbolic Verification of Fuzzy Logic Models." In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2023. http://dx.doi.org/10.1109/ase56229.2023.00087.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kasihmuddin, Mohd Shareduwan Mohd, Saratha Sathasivam, and Mohd Asyraf Mansor. "Artificial bee colony in neuro - Symbolic integration." In PROCEEDINGS OF THE 24TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES: Mathematical Sciences Exploration for the Universal Preservation. Author(s), 2017. http://dx.doi.org/10.1063/1.4995912.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Logic (symbolic and mathematical)"

Bezhanishvili, Guram, and Wesley Fussner. An Introduction to Symbolic Logic. Washington, DC: The MAA Mathematical Sciences Digital Library, June 2013. http://dx.doi.org/10.4169/loci003990.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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 mat

Los estilos APA, Harvard, Vancouver, ISO, etc.

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

Texto completo

Resumen

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 ap

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!