Keyword Search
Advanced Search
Computer Science and Engineering  Logic for CS
Title: Logic for CS
Department: Computer Science and Engineering
Author: Prof. S. Arun Kumar
University: IIT Delhi
Type: WebLink
Abstract: This is a beginning graduate-level class in mathematical logic with motivation provided by applications in Computer Science. Topics include: propositional and first-order logic; soundness, completeness, and compactness of first-order logic; first-order theories; undecidability and Godel's incompleteness theorem; and an introduction to other logics such as second-order and temporal logic.
Bodhbridge, Copyright © 2009 All rights reserved., is a portal by BodhBridge ESPL.