The Carnegie Pulseabout the carnegie pulse | advertise | contact | subscriptions | join 
newsart & cultureopinionseventsclassifiedscourse schedule

home  >  pulse scheduler  >  departments  >  mathematical sciences  >  basic logic  >  
My schedule
My textbooks
Most popular
View departments
View locations
View times

Find course by title:




 


21-300 Basic Logic

Units:9.0
Department:Mathematical Sciences
Prerequisites:21-127 and (21-132 or 21-228 or 21-373 or 21-484)
Related URLs:http://www.math.cmu.edu

Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem. 3 hrs. lec.


  Popularity index
Rank for this semester:#0
Rank in this department:#0

  Students also scheduled
15-221 Technical Communication for Compute...
15-354 Computational Discrete Mathematics
15-411 Compiler Design
15-492 Special Topic: Parallel Algorithms
15-397 Special Topic: Web Application Deve...
15-505 Special Topic: Animation Art and Te...
21-235 Mathematical Studies I
15-390 Special Topic: Entrepreneurship for...
21-114 Calculus for Architecture
21-106 Co-Calculus


The Carnegie Pulse: Pulse Scheduler: 21-300 Basic Logic
The Carnegie Pulseabout the carnegie pulse | advertise | contact | subscriptions | join 
newsart & cultureopinionseventsclassifiedscourse schedule

home  >  pulse scheduler  >  departments  >  mathematical sciences  >  basic logic  >  
My schedule
My textbooks
Most popular
View departments
View locations
View times

Find course by title:




 


21-300 Basic Logic

Units:9.0
Department:Mathematical Sciences
Prerequisites:21-127 and (21-132 or 21-228 or 21-373 or 21-484)
Related URLs:http://www.math.cmu.edu

Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem. 3 hrs. lec.


  Popularity index
Rank for this semester:#0
Rank in this department:#0

  Students also scheduled
15-221 Technical Communication for Compute...
15-354 Computational Discrete Mathematics
15-411 Compiler Design
15-492 Special Topic: Parallel Algorithms
15-397 Special Topic: Web Application Deve...
15-505 Special Topic: Animation Art and Te...
21-235 Mathematical Studies I
15-390 Special Topic: Entrepreneurship for...
21-114 Calculus for Architecture
21-106 Co-Calculus



No sections available for semester Spring 2008.

 




  email: tcpulse@andrew.cmu.edu     ::     phone: 801.848.4812     ::     fax: 801.848.4812     ::    
  mail: The Carnegie Pulse | Carnegie Mellon University | University Center, Box 78 | Pittsburgh, PA 15213     ::    
  (c) Copyright 2004 The Carnegie Pulse, Carnegie Mellon's first exclusively online student-run news source. campus mirror | RSS    



  email: tcpulse@andrew.cmu.edu     ::     phone: 801.848.4812     ::     fax: 801.848.4812     ::    
  mail: The Carnegie Pulse | Carnegie Mellon University | University Center, Box 78 | Pittsburgh, PA 15213     ::    
  (c) Copyright 2004 The Carnegie Pulse, Carnegie Mellon's first exclusively online student-run news source. campus mirror | RSS