Relevant bibliographies by topics / Logic (symbolic and mathematical)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logic (symbolic and mathematical)'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logic (symbolic and mathematical).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logic (symbolic and mathematical)"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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)
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logic (symbolic and mathematical)"

1

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

Full text
Abstract:
"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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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 &quot;epistemic innocence&quot; which would be needed for,
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logic (symbolic and mathematical)"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Summer School and Conference on Mathematical Logic (1988 Chaĭka, Varnenski okrŭg, Bulgaria). Mathematical logic. New York: Plenum Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logic (symbolic and mathematical)"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic (symbolic and mathematical)"

1

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logic (symbolic and mathematical)"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logic (symbolic and mathematical)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography