MERLOT Search - category=2558&sort.property=overallRating
https://www.merlot.org/merlot/
A search of MERLOT materialsCopyright 1997-2016 MERLOT. All rights reserved.Sat, 22 Oct 2016 05:51:02 PDTSat, 22 Oct 2016 05:51:02 PDTMERLOT Search - category=2558&sort.property=overallRatinghttps://www.merlot.org/merlot/images/merlot.gif
https://www.merlot.org/merlot/
4434We use mathematics
https://www.merlot.org/merlot/viewMaterial.htm?id=579310
WeUseMath.org is a non-profit website that helps to answer this question. This website describes the importance of mathematics and many rewarding career opportunities available to students who study mathematics. Includes a video and teacher resources. Fri, 2 Sep 2011 09:54:04 -0700Proof Designer
https://www.merlot.org/merlot/viewMaterial.htm?id=78631
Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems certainly is a creative task, there are many steps that actually are schematic and mathematicians have internalized them. For example, to prove a universally quantified statement we need to pick an arbitrary element and prove the statement for it. These types of nestings are not automatically done by novices and they take time to internalize. In proof designer such steps are created upon selection with the characteristic start (״Let a be ") and the characteristic ending (״Since a was arbitrary "). The user still has to fill in the steps in between. In the above fashion proof designer can be used to keep track of and demonstrate the macroscopic structure of the proof as well as the nesting of sub-proofs within a proof.Mon, 10 Feb 2003 00:00:00 -0800Cogent Mathematics
https://www.merlot.org/merlot/viewMaterial.htm?id=1113081
Cogent Mathematics is a fully peer-reviewed, open access, international scholarly journal with a mission to help researchers communicate with a global audience and interact with experts across the mathematics community and beyond. Cogent Mathematics considers original research articles in any of the following branches of mathematical and statistical research: Apllied and Interdisciplinary Mathematics; Computational Science; Pure Mathematics; and Statistics. Cogent Mathematics open access articles are distributed under a Creative Commons Attribution (CC-BY) 4.0 International license agreement.Sat, 26 Dec 2015 19:54:02 -0800A Modern Formal Logic Primer
https://www.merlot.org/merlot/viewMaterial.htm?id=352745
This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory.' It 'features easy-to-understand explanations and graded exercises.''Each volume is broken into individual chapters. And each volume has an associated solutions manual (the last item under each volume). There is a file with corrections to both the text and the answer manual. Also note a file with the diagrammatic summary of the rules that appeared on the inside cover of the published version of the primmer. All files are in Adobe Acrobat PDF 6 format. they require version 6, or newer, of Adobe, which can be down loaded here. All files are fully searchable.'Tue, 25 Nov 2008 16:29:48 -0800forall X: An Introduction to Formal Logic
https://www.merlot.org/merlot/viewMaterial.htm?id=302325
'forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven.In formal logic, sentences and arguments are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages. This can be used as the textbook for a semester long course in logic, for a unit on logic, or for self-directed study. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.'Sun, 13 Apr 2008 00:44:52 -0700Formal Logic
https://www.merlot.org/merlot/viewMaterial.htm?id=351071
This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs.'Brief ContentsPreliminariesSentential LogicPredicate LogicIdentity Theory Mon, 17 Nov 2008 13:55:10 -0800Intro to Logic
https://www.merlot.org/merlot/viewMaterial.htm?id=352728
This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It is Part of the TeachLogic Project (www.teachlogic.org).'Contents include:IntroductionPropositional LogicRelations and ModelsFirst-Order LogicConclusion, AcknowledgementsAppendices and Reference SheetsTue, 25 Nov 2008 16:17:41 -0800Truth Table Constructor
https://www.merlot.org/merlot/viewMaterial.htm?id=82130
Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six variables and six connectives and produces T/F and 0/1 output. Results are shown all at once or may be requested step-by-step.Sat, 2 Oct 2004 00:00:00 -0700A Problem Course in Mathematical Logic
https://www.merlot.org/merlot/viewMaterial.htm?id=302304
A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method.The material and its presentation are pretty stripped-down and it will probably be desirable for the instructor to supply further hints from time to time or to let the students consult other sources. Various concepts and and topics that are often covered in introductory mathematical logic or computability courses are given very short shrift or omitted entirely, among them normal forms, definability, and model theory.Sat, 12 Apr 2008 23:51:27 -0700blogic: a web logic textbook
https://www.merlot.org/merlot/viewMaterial.htm?id=79868
Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with truth-tables (iii) the logic of frequencies and probabilities (iv) modal logic and counterfactuals (v) quantification. Textbook includes interactive exercises.Wed, 13 Aug 2003 00:00:00 -0700