PDX CS 510

• Universities
• PDX
• CS
• 510

Course Description

Raw: The course presents propositional logic, predicate logic, and modal logic, and algorithms for proof

Stemmed: present proposit logic predic logic modal logic algorithm proof refut logic classic result includ so

Inferred Topics

• 36   (0.668455) 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

• 40   (0.188046) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement

  (0.727) KSU CIS 744 Advanced Software Analysis and Design

  (0.727) KSU CIS 544 Advanced Software Design and Development

  (0.553) AU CSC 432 Introduction to Simulation and Modeling

  (0.545) SC CSCE 512 System Performance Evaluation

  (0.443) AU CSC 543 Object-Oriented Analysis and Design

  (0.408) PDX CS 510 Top: Spoken Language Interfaces

  (0.391) SC CSCE 563 Systems Simulation

  (0.382) AU CSC 600 Simulation

  (0.346) Utah CS 6370 Geometric Computation for Motion Planning

  (0.344) LSU CSC 7402 Data Base Management Systems

  (0.331) GMU CS 700 Quantitative Methods and Experimental Design in Computer Science

  (0.322) KSU CIS 645 Software Development Environments

  (0.319) GMU CS 672 Computer System Performance Evaluation

  (0.298) PDX CS 445 Machine Learning

  (0.279) GMU CS 681 Designing Expert Systems

  (0.278) PDX CS 545 Machine Learning

  (0.268) PDX CS 410 Top: Mathematical Logic via Foundational Algorithms

  (0.266) Utah CS 6810 Computer Architecture

  (0.266) KSU CIS 710 Computer Simulation Experiments

  (0.263) GMU CS 484 Data Mining

  (0.262) Utah CS 5140 Data Mining

  (0.254) Utah CS 6140 Data Mining

  (0.248) Utah CS 5710 Digital VLSI Design

  (0.235) RPI CSCI 6140 Computer Operating Systems

  (0.228) GMU CS 756 Performance Analysis of Computer Networks

  (0.221) PDX CS 538 Computer Architecture

  (0.215) Stanford CS 341 Project in Mining Massive Data Sets

  (0.211) SC CSCE 515 Computer Network Programming

  (0.210) PDX CS 510 Top: Introduction to Performance Measurement, Modeling and Analysis

  (0.204) Utah CS 6710 Digital VLSI Design

  (0.199) GMU CS 584 Theory and Applications of Data Mining

  (0.192) GMU CS 719 Scalable Internet Services

  (0.191) GMU CS 682 Computer Vision

  (0.188) PDX CS 510 Top: Mathematical Logic via Foundational Algorithms

  (0.177) Utah CS 3200 Introduction to Scientific Computing

  (0.175) PDX CS 410 Top: Introduction to Performance Measurement, Modeling and Analysis

  (0.172) PDX CS 575 Computer System Analysis

  (0.159) UTK COSC 370 Introduction to Scientific Computing

  (0.153) Utah CS 3130 Engineering Probability and Statistics

  (0.151) Utah CS 7640 Advanced Image Processing

No prerequisites registered.