ACU-OER

Logical Fundamentals of Programming

Add Bookmark
- Category : Engineering > Computer Science
- Keyword : Atomic sentence,Logical validity,Boolean Logic,Ogical Consequence,Proof
- Taught by : Scott Uk-Jin Lee
- Created By : Hanyang University
- Offered By : KOCW
- Date Added : 2019.10.08
Logical Fundamentals of Programming

This work is licensed under a
Creative Commons
Attribution-NonCommercial-NoDerivs 4.0
International License.
- User Rating :
- Comments : 0
- Hits : 984

Number of lessons: 22

차시별 강의
No	Contents Type & Play	Subject	Description	URL
1.	Type	Subject The Logic of Atomic Sentences	Description The Logic of Atomic Sentences	Url URL
2.	Type	Subject Proof of Validity	Description Proof of Validity	Url URL
3.	Type	Subject Proof of Validity	Description Proof of Validity	Url URL
4.	Type	Subject The Boolean Logic 1	Description The Boolean Logic 1	Url URL
5.	Type	Subject The Boolean Logic 1	Description The Boolean Logic 1	Url URL
6.	Type	Subject The Boolean Logic 3	Description The Boolean Logic 3	Url URL
7.	Type	Subject The Boolean Logic 3	Description The Boolean Logic 3	Url URL
8.	Type	Subject Informal Proof	Description Informal Proof	Url URL
9.	Type	Subject Informal Proof	Description Informal Proof	Url URL
10.	Type	Subject Formal Proof 1	Description Formal Proof 1	Url URL
11.	Type	Subject Formal Proof 1	Description Formal Proof 1	Url URL
12.	Type	Subject Formal Proof 2	Description Formal Proof 2	Url URL
13.	Type	Subject Formal Proof 2	Description Formal Proof 2	Url URL
14.	Type	Subject Formal Proof 3	Description Formal Proof 3	Url URL
15.	Type	Subject Conditionals 1	Description Conditionals 1	Url URL
16.	Type	Subject Conditionals 2	Description Conditionals 2	Url URL
17.	Type	Subject Soundness&Conpleteness of System F 1	Description Soundness&Conpleteness of System F 1	Url URL
18.	Type	Subject Soundness&Conpleteness of System F 2	Description Soundness&Conpleteness of System F 2	Url URL
19.	Type	Subject Summary of Propositional Logic	Description Summary of Propositional Logic	Url URL
20.	Type	Subject Introduction to Quantification 1	Description Introduction to Quantification 1	Url URL
21.	Type	Subject Introduction to Quantification 2	Description Introduction to Quantification 2	Url URL
22.	Type	Subject Mathematical Induction	Description Mathematical Induction	Url URL