First order logic: Semantics

Primary tabs

Lecture Series / Conference / Course : 
Mathematical Logic for Theoretical Computer Science
Subject: 
TCS
Speaker: 
R Ramanujam
Youtube-url: 
https://youtu.be/dg_EMVUxePM
Start Time: 
16:00
End Time: 
17:30
Date: 
Monday, September 14, 2020
Short Title: 
First order logic: Semantics