9
$\begingroup$

I am currently reading Logic an Structure by Dirk van Dalen (2008).

However, I am missing some basics I try to find related lectures on online / on youtube. I frequently watch MIT, Stanford, and University of Nottinham lectures on youtube.

However, I have a hard time to find lectures on topics like predicate logic, high order logic, and intuitionistic logic. Does anyone happen to have pointers?

Thanks.

$\endgroup$
2
  • 6
    $\begingroup$ Here's a link with various lectures on logic in general. I hope some of them are related to what you're looking for: videolectures.net/Top/Computer_Science/Logic $\endgroup$
    – Apostolos
    Nov 16, 2010 at 13:58
  • $\begingroup$ thanks very much for the link. just what I was looking for ;-) $\endgroup$
    – mrsteve
    Nov 17, 2010 at 21:11

2 Answers 2

Reset to default
0
$\begingroup$

MIT is certainly good, I don't know what your level is but I personally prefer summer school courses: they are shorter and more condensed, so you may learn more in shorter periods of time. Plus they are addressed to a general audience.

When you search on google, try to add key words like "summer school", "winter school". Take a look at this lecture by Alwen Tiu, for instance.

More generally, I think that for very basic notions, books are better.

$\endgroup$
-1
$\begingroup$

You can try "carneades" youtube.com channel and "trev tutor". Both of them have large playlists covering basic logic and set theory.

"carneades" is a philosophy channel, but has great insights. https://www.youtube.com/playlist?list=PLz0n_SjOttTcjHsuebLrl0fjab5fdToui

The last ten videos of this one has predicate calculus.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .