Home
Explore Uedu
Student Console
Register as Member/Login
Research Informed Consent Center
Survey Center
Educational Big Data Challenge
UeduGPTs
Aida Learning Companion
Agentic AI
Local AI
Uedu Code
Find an Advisor
Paper Reading
Uedu Note
Uedu Open
Uedu Jupyter
Language Learning
Lingua Writing
My Writing History
Cognomics Test Toolkit
Uedu Finance
Uedu Interdisciplinary General Education
Uedu Physics
Uedu Calculus
Uedu Biology
Uedu Chemistry
Uedu Electronics
Uedu Semiconductor
Uedu AI
Uedu Statistics
Uedu UAV
Teaching Materials
Literature Hall
Taiwan: Four Hundred Years
Uedu Science
Course settings
Try a Scenario Task
Support & Messages
Uptime Data

UeduGPTs

--

Jupyters

6

Local AI

--

Uedu Code

--

CISOSE26 Local AI Uedu Code UG26
Taipei AQI 82 · Taichung AQI 91 · Tainan AQI 70 · Kaohsiung AQI 71
AI Reply Desktop Notifications

Show a desktop notification when the AI TA finishes replying

Chat Message Notifications

Notify me when classmates post messages in the forum

Sound notification

Play an alert sound whenever there is a new notification

More settings
Account settings Data privacy settings Research Informed Consent Form
Uedu Open / Logic I
24.241

Logic I

Dr. Ephraim Glick | Fall 2009
Humanities Philosophy Logic
Go to original course
CC BY-NC-SA 4.0
Course introduction
In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.
Course Information
SourceMIT 開放式課程
DepartmentLinguistics and Philosophy
LanguageEnglish
Number of videos0
Course videos (0)
No video materials are available for this Course yet
Go to the original course page to view