0

Introduction To Logic

Course Details
Trainer Name

Michael Genesereth

Skill Area

Personal Development

Reviews

0 (0 Rating)

Course Requirements

No requirement

Course Description

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Course Outcomes

1. Relational Algebra
2. Problem Solving
3. Propositional Calculus
4. Mathematical Logic

Course Curriculum

1 Introduction to Logic

2 Elements of Logic

3 Formalization

4 Automation

5 Study Guide

6 Propositional Logic

7 Syntax of Propositional Logic

8 Semantics of Propositional Logic

9 Satisfaction

10 Properties of Sentences

11 Logical Entailment

12 The Big Game

13 Propositional Proofs

14 Linear Proofs

15 Structured Proofs

16 Fitch

17 Soundness and Completeness

18 Propositional Resolution

19 Clausal Form

20 Resolution Principle

21 Resolution Method

22 Box Logic

23 Propositional Satisfiability

24 Herbrand Logic

25 Syntax

26 Semantics

27 Example - Sorority World

28 Example - Blocks World

29 Example - Modular Arithmetic

30 Example - Peano Arithmetic

31 Example Linked Lists

32 Example - Pseudo-English

33 Example - Metalevel Logic

34 Properties of Sentences

35 Logical Entailment

36 (Optional) Finite Relational Logic

37 (Optional) Omega Relational Logic

38 (Optional) General Relational Logic

39 Herbrand Logic Proofs

40 Proofs

41 Example

42 Example

43 Example - Quantifier and Implication

44 Resolution

45 Clausal Form

46 Unification

47 Resolution Principle

48 Resolution Principle

49 Resolution Reasoning

50 Unsatisfiability

51 Logical Entailment

52 Answer Extraction

53 Induction

54 Domain Closure

55 Linear Induction

56 Tree Induction

57 Structural Induction

58 First Order Logic

59 Conceptualization

60 Syntax and Semantics

61 Example Blocks World

62 Example Peano Arithmetic

63 Properties of Sentences

64 Logical Entailment

65 First Order Proofs

66 Examples Equality

67 Example Arithmetic

68 General Game Playing

69 Game Description

70 Game Management

71 General Game Playing

72 Philosophical Remarks

73 International GGP Competition

Trainer

Trainer Name

Michael Genesereth

0 Rating
0 Reviews

More Courses by Author

Learner Feedback

Introduction To Logic

0

Course Rating
0.00%
0.00%
0.00%
0.00%
0.00%

No Review found

Log In or Sign Up as learner to post a review

Course you might like

Free

Motivation
5/5
30 Lessons 627 Enrolment
RM60.00

[Kursus MySQL, PHP dan HTML] Memanipulasi Pangkalan Data Atas Talian
0/5
1 Lessons 6 Enrolment

Free

Enrol Now

This course includes:

  • Duration: 6 Hours 10 Min

  • Skill Level: Beginner

  • Lectures: 73 lessons

  • Enrolled: 89 learners

  • Certificate of Completion

  • Lifetime access

Shopping Cart

Loading...
View cart Checkout