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.