KSU CIS 301
Logical Foundations of Programming
Course Description
Raw: Logical formalisms used to model and reason about computer systems. Propositional and predicate logi
Stemmed: logic formal model reason comput system proposit predic logic syntax semant proof theori sound compl
Inferred Topics
-
81
(0.370749) program, languag, object, orient, includ, type, design, abstract, data, specif
(0.958) KSU CIS 705 Programming Languages
(0.855) UTK COSC 365 Programming Languages and Systems
(0.829) PDX CS 420 Object Oriented Programming
(0.829) PDX CS 520 Object Oriented Programming
(0.788) KSU CIS 505 Introduction to Programming Languages
(0.763) SC CSCE 330 Programming Language Structures
(0.739) Stanford CS 106 Standard C++ Programming Laboratory
(0.705) LSU CSC 4101 Programming Languages
(0.705) LSU CSC 1253 Computer Science I with C++
(0.695) Utah CS 7520 Programming Language Semantics
(0.694) RPI CSCI 4430 Programming Languages
(0.683) GMU CS 463 Comparative Programming Languages
(0.671) Utah CS 5510 Programming Language Concepts
(0.658) LSU CSC 7101 Programming Language Structures
(0.643) ACM EC 0 Java Programming I
(0.623) RPI CSCI 6430 Programming Languages
(0.585) ACM EC 0 Principles of Programming Languages
(0.583) PDX CS 558 Programming Languages
(0.567) PDX CS 578 Program Language Semantics
(0.541) ACM EC 0 Principles of Programming Languages
(0.536) GMU CS 261 Introduction to a Second Language
(0.522) SC CSCE 245 Object-Oriented Programming Techniques
(0.508) RPI CSCI 2961 Programming in Python
(0.485) UTK COSC 291 Lower-Division Special Topics
(0.457) ACM EC 0 Introduction to Programming
(0.442) LSU CSC 1350 Computer Science I for Majors
(0.435) GMU CS 332 Object-Oriented Software Design and Implementation
(0.429) AU CSC 544 Object-Oriented Programming
(0.420) GMU CS 222 Computer Programming for Engineers
(0.415) PDX CS 577 Modern Language Processors
(0.404) PDX CS 510 Top: Advanced Programming
(0.403) RPI CSCI 2220 Programming in Java
(0.395) GMU CS 706 Concurrent Software Systems
(0.395) KSU CIS 522 Introduction to Data Structures
(0.394) LSU CSC 1351 Computer Science II for Majors
(0.390) ACM EC 0 Programming Languages
(0.381) PDX CS 510 Top: Functional Logic Programming
(0.376) ACM EC 0 Programming Language Design and Implementation
(0.371) KSU CIS 301 Logical Foundations of Programming
(0.368) ACM EC 0 Object-Oriented Programming
(0.345) LSU CSC 1254 Computer Science II with C++
(0.342) ACM EC 0 Topics in Compiler Construction
(0.322) GMU CS 211 Object-Oriented Programming
(0.309) PDX CS 410 Top: Advanced Java Programming
(0.295) ACM EC 0 Introduction to Programming Languages
(0.288) GMU CS 540 Language Processors
(0.284) PDX CS 162 Introduction to Computer Science
(0.281) SC CSCE 209 Special Topics in Computer Programming
(0.274) AU CSC 521 Design and Organization of Programming Languages
(0.265) ACM EC 0 Programming Languages and Techniques I
(0.260) GMU CS 640 Advanced Compilers
(0.258) ACM EC 0 Software Development Foundations
(0.249) LSU CSC 4351 Compiler Construction
(0.248) GMU CS 681 Designing Expert Systems
(0.243) GMU AIT 521 Software Engineering Essentials
(0.240) Stanford CS 109 Statistical Computing with R Laboratory
(0.225) LSU CSC 7150 Program Analysis and Model Checking
(0.222) ACM EC 0 Introduction to Artificial Intelligence
(0.221) KSU CIS 638 Multimedia Systems
(0.221) KSU CIS 580 Fundamentals of Game Programming
(0.212) UTK COSC 440 Formal Foundations of Software Engineering
(0.210) Stanford CS 143 Compilers
(0.209) ACM EC 0 Principles of Programming Languages
(0.209) Stanford CS 393 Computer Laboratory
(0.193) GMU CS 687 Advanced Artificial Intelligence
(0.192) GMU CS 450 Database Concepts
(0.190) RPI CSCI 6500 Distributed Computing Over The Internet
(0.184) GMU CS 351 Visual Computing
(0.178) LSU CSC 4243 Interface Design and Technology
(0.177) Stanford CS 42 Callback Me Maybe: Contemporary Javascript
(0.173) GMU CS 310 Data Structures
(0.172) KSU CIS 105 Introduction to Computer Programming
(0.166) PDX CS 163 Data Structures
(0.166) GMU CS 635 Foundations of Parallel Computation
(0.166) LSU CSC 3380 Object Oriented Design
(0.164) ACM EC 0 Compiler Design
(0.162) GMU CS 674 Data Mining on Multimedia Data
(0.156) Utah CS 3470 Scripting Language Design and Implementation
(0.155) RPI CSCI 2600 Principles of Software
(0.154) Stanford CS 106 Programming Methodology (ENGR 70A)
(0.153) SC CSCE 215 UNIX/Linux Fundamentals
-
36
(0.328344) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat
(0.937) UTK COSC 311 Discrete Structures
(0.934) Utah CS 2100 Discrete Structures
(0.787) LSU CSC 2259 Discrete Structures
(0.739) PDX CS 250 Discrete Structures I
(0.726) PDX CS 251 Discrete Structures II
(0.673) KSU CIS 604 Set Theory and Logic for CS
(0.668) PDX CS 510 Top: Mathematical Logic via Foundational Algorithms
(0.659) PDX CS 579 Formal Verification of Hardware/Software
(0.588) PDX CS 410 Top: Mathematical Logic via Foundational Algorithms
(0.565) AU CSC 350 Introduction to Discrete Structures
(0.510) Stanford CS 103 Mathematical Foundations of Computing
(0.439) SC CSCE 146 Algorithmic Design II
(0.426) SC CSCE 211 Digital Logic Design
(0.409) ACM EC 0 Discrete Structures I
(0.393) GMU CS 530 Mathematical Foundations of Computer Science
(0.354) ACM EC 0 Discrete Structures II
(0.328) KSU CIS 301 Logical Foundations of Programming
(0.320) ACM EC 0 Discrete Mathematics
(0.313) ACM KA 0 Discrete Structures (DS)
(0.306) LSU CSC 7375 Robot Vision
(0.296) RPI CSCI 2200 Foundations of Computer Science
(0.295) KSU CIS 771 Software Specification
(0.265) AU CSC 460 Tools of Scientific Computing
(0.249) ACM EC 0 Mathematical Foundations of Computer Science
(0.241) Utah CS 6110 Formal Methods for System Design
(0.225) UTK COSC 483 Applied Cryptography
(0.224) GMU CS 600 Theory of Computation
(0.213) PDX CS 578 Program Language Semantics
(0.184) UTK COSC 312 Algorithm Analysis and Automata
(0.177) LSU CSC 7333 Machine Learning
(0.173) GMU CS 330 Formal Methods and Models
(0.173) KSU CIS 570 Introduction to Formal Language Theory
(0.165) KSU CIS 575 Introduction to Algorithm Analysis
(0.163) Utah CS 3100 Models of Computation
(0.162) ACM EC 0 Functional Programming
(0.152) Stanford CS 109 Introduction to Probability for Computer Scientists
-
23
(0.164332) comput, automata, languag, complex, machin, theori, ture, regular, finit, complet
(0.934) KSU CIS 770 Formal Language Theory
(0.826) RPI CSCI 4050 Computability and Complexity
(0.794) PDX CS 583 Automata & Formal Languages
(0.723) RPI CSCI 6050 Computability and Complexity
(0.708) PDX CS 311 Computational Structures
(0.686) UTK COSC 482 Theory of Computation
(0.670) PDX CS 582 Theory of Computation: Advanced Topics
(0.645) SC CSCE 551 Theory of Computation
(0.618) LSU CSC 4890 Introduction to Theory of Computation
(0.609) UTK COSC 312 Algorithm Analysis and Automata
(0.584) SC CSCE 355 Foundations of Computation
(0.580) GMU CS 600 Theory of Computation
(0.574) KSU CIS 570 Introduction to Formal Language Theory
(0.543) PDX CS 581 Theory of Computation
(0.510) Utah CS 5100 Foundations of Computer Science
(0.476) Stanford CS 254 Computational Complexity
(0.461) RPI CSCI 2200 Foundations of Computer Science
(0.350) LSU CSC 7150 Program Analysis and Model Checking
(0.287) Stanford CS 103 Mathematical Foundations of Computing
(0.201) ACM EC 0 Introduction to Compilers
(0.199) Utah CS 3100 Models of Computation
(0.166) ACM EC 0 Mathematical Foundations of Computer Science
(0.164) KSU CIS 301 Logical Foundations of Programming