subject

Profile

Leandro Camargo

Leandro Camargo

No courses found

Introduction to Logic

Written 11 months ago
Great content and exercises tool. Herbrand semantics doesn't seem to be that usual in textbooks, especially those for philosophers. Target audience seems to be computer scientists.
My rating
Leandro Camargo is taking this course right now, spending 4 hours a week on it and found the course difficulty to be hard.

Language, Proof and Logic

Written 9 months ago
Excellent introduction to FOL, even (perhaps especially) for people without solid mathematical background. Great balance between conceptual rigour and non-overwhelming use of symbolic manipulation.
My rating
Leandro Camargo is taking this course right now.

Class Central

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free

Never stop learning Never Stop Learning!

Get personalized course recommendations, track subjects and courses with reminders, and more.