1. Home
  2. Material Detail: A Problem Course in Mathematical Logic

Material Detail

A Problem Course in Mathematical Logic

A Problem Course in Mathematical Logic

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.
Keywords:
Soundness, Recursive Functions, Gödel Incompleteness, Propositional Logic, First Order Logic, Compactness, Computability, Completeness, Mathematical Logic, Turing, Moore-Method
Disciplines:
Go to Material 
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Open (Access) Textbook
Date Added to MERLOT:
July 11, 2016
Date Modified in MERLOT:
August 30, 2017
Author:
Submitter:
Barbra Bied Sperling
Hispanic Serving Institution
Primary Audience:
College General Ed
Technical Format:
Website
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
No
Accessibility Information Available:
Unknown
Creative Commons:
Unknown

Browse...

Disciplines with similar materials as A Problem Course in Mathematical Logic
People who viewed this also viewed
Other materials like A Problem Course in Mathematical Logic

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.