Logic: Language and Information 2
| VU Course ID: | 00080 |
| Curriculum: | 8 weeks |
| Fee: | FREE |
| Textbooks: |
None |
| Prerequisites: | None |
| Instructor: | Prof. Greg Restall & Dr Jen Davoren |
| Provider: | University of Melbourne (via Coursera) |
Recordable:
 |
This course can be recorded in your VU transcript. |
Sponsored Message
starts Class starts Apr 14, 2015
Check the course home page for future sessions. If none are scheduled, most providers offer an "Add to Watchlist" feature that will notify you when the next available session is announced.
Course Description
This free Web course offers an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic -- its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines. The class will cover core techniques in first order predicate logic: the idea of formal languages with quantifiers, which gives us a way to talk about more logical structure than in propositional logic. The course will also delve into central logical concepts such as consistency and validity, models, and proofs in predicate logic. You’ll also learn how these techniques connect with issues in linguistics, computer science, electronic engineering, mathematics and philosophy.
| Notepad.cc: ~ Leave yourself notes in the cloud! |
|
OpenYou can use Notepad.cc to jot down notes and keep track of your studies. If this is your first use, click the Open button, then click in the white space and begin typing! Your notes will be auto-saved as you type.
Create notes for each of your classes
and access them using any browser. You also can share notes with a classmate, collaborate in real time,
or password-protect your notes for privacy. Click the Expand icon
above to access these features.
Sponsored Message
If you have completed this course, please review it. Sharing your experiences will help others know what to expect from this class, and your feedback will be much appreciated!
