Utah CS 3100
Models of Computation
Course Description
Raw: This course covers different models of computation and how they relate to the understanding and bett
Stemmed: cover model comput relat understand design real world comput program exampl studi ture machin defin
Inferred Topics
-
224
(0.346123) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.790) LSU CSC 7443 Scientific Information Visualization
(0.780) KSU CIS 755 Advanced Computer and Information Security
(0.771) Utah CS 6680 Computer-Aided Geometric Design II
(0.630) UTK COSC 401 Senior Design Theory
(0.578) LSU CSC 4512 Optimization: Modeling Approaches, Algorithms and Applications
(0.567) UTK COSC 440 Formal Foundations of Software Engineering
(0.539) GMU CS 445 Computational Methods for Genomics
(0.510) Utah CS 6600 Mathematical Foundations of Computer Graphics and Visualization
(0.498) KSU CIS 111 Introduction to Computer Programming
(0.484) PDX CS 410 Top: Measuring Computer Performance
(0.477) GMU CS 310 Data Structures
(0.475) GMU CS 325 Introduction to Game Design
(0.454) SC CSCE 552 Computer Game Development
(0.454) UTK COSC 302 Data Structures and Algorithms II
(0.444) Utah CS 3505 Software Practice II
(0.440) Stanford CS 91 Digital Canvas: Intro to Visual Design on the Web
(0.440) PDX CS 313 AI & Game Design
(0.421) KSU CIS 526 Web Interface Design
(0.419) Utah CS 5630 Visualization
(0.417) LSU CSC 3380 Object Oriented Design
(0.414) GMU CS 611 Computational Methods for Genomics
(0.412) PDX CS 591 Introduction to Computer Security
(0.410) PDX CS 576 Computer Security
(0.407) GMU CS 468 Secure Programming and Systems
(0.401) SC CSCE 574 Robotics
(0.401) SC CSCE 567 Visualization Tools
(0.388) GMU CS 482 Computer Vision
(0.386) UTK COSC 483 Applied Cryptography
(0.382) Utah CS 5830 VLSI Architecture
(0.380) Utah CS 6130 Computational Statistics
(0.380) Utah CS 5130 Computational Statistics
(0.380) GMU AIT 624 Semantic Web Tools for Multimedia Applications
(0.379) PDX CS 491 Introduction to Computer Security
(0.370) Utah CS 6640 Introduction to Digital Image Processing
(0.367) GMU AIT 711 Rapid Development of Scalable Applications
(0.366) SC CSCE 547 Windows Programming
(0.365) PDX CS 410 Top: Introduction to Visual Computing
(0.361) GMU CS 425 Game Programming I
(0.359) KSU CIS 640 Software Testing Techniques
(0.358) KSU CIS 635 Introduction to Computer-Based Knowledge Systems
(0.358) Stanford CS 168 The Modern Algorithmic Toolbox
(0.355) ACM EC 0 Human Computer Interaction
(0.354) GMU CS 773 Real-Time Systems Design and Development
(0.352) GMU CS 686 Image Processing and Applications
(0.349) Utah CS 5320 Computer Vision
(0.348) Utah CS 2960 Apple Certification
(0.346) Utah CS 3100 Models of Computation
(0.346) GMU CS 667 Biometrics and Identity Management
(0.341) RPI CSCI 4380 Database Systems
(0.341) PDX CS 410 Top: Advanced Multimedia Networking
(0.339) Utah CS 6630 Visualization
(0.336) SC CSCE 355 Foundations of Computation
(0.336) SC CSCE 611 Advanced Digital Design
(0.336) Utah CS 7250 Advanced Topics in Scientific Computing
(0.336) AU CSC 600 Simulation
(0.336) GMU CS 451 Computer Graphics
(0.335) GMU AIT 500 Quantitative Foundations for Information Systems Analysis
(0.335) LSU CSC 7080 Computer Architecture
(0.334) GMU CS 477 Mobile Application Development
(0.334) GMU CS 332 Object-Oriented Software Design and Implementation
(0.325) KSU CIS 525 Telecommunications and Data Communication Systems
(0.324) GMU AIT 670 Best Practices Managing Security and Privacy for Cloud Computing
(0.320) LSU CSC 4501 Computer Networks
(0.320) PDX CS 510 Top: Introduction to Visual Computing
(0.318) UTK COSC 402 Senior Design Practicum
(0.316) GMU CS 811 Research Topics in Machine Learning and Inference
(0.316) PDX CS 567 The Wireless Web
(0.314) Utah CS 6330 Introduction to Robot Control
(0.309) GMU CS 700 Quantitative Methods and Experimental Design in Computer Science
(0.307) PDX CS 555 Software Specification & Verification
(0.307) Utah CS 5020 Software Practice II
(0.305) SC CSCE 516 Computer Networks
(0.303) SC CSCE 513 Computer Architecture
(0.303) GMU CS 530 Mathematical Foundations of Computer Science
(0.303) PDX CS 560 Human-Computer Interaction
(0.303) KSU CIS 101 Introduction to Computing Systems
(0.299) PDX CS 410 Top: Introduction to Performance Measurement, Modeling and Analysis
(0.299) KSU CIS 300 Data and Program Structures
(0.298) GMU CS 480 Introduction to Artificial Intelligence
(0.298) PDX CS 559 Software Measurement & Models
(0.297) PDX CS 510 Advanced Multimedia Networking
(0.294) Utah CS 6380 Multi-agent Systems
(0.294) PDX CS 556 Software Implementation and Testing
(0.293) RPI CSCI 6400 Xinformatics
(0.291) Stanford CS 376 Human-Computer Interaction Research
(0.288) GMU CS 782 Machine Learning
(0.288) LSU CSC 4243 Interface Design and Technology
(0.281) KSU CIS 734 Introduction to Genomics and Bioinformatics
(0.279) KSU CIS 710 Computer Simulation Experiments
(0.278) PDX CS 580 Randomized Algorithms and Probabilistic Analysis
(0.276) GMU CS 306 Synthesis of Ethics and Law for the Computing Professional
(0.274) PDX CS 552 Building Software Systems With Components
(0.272) RPI CSCI 4390 Database Mining
(0.272) Utah CS 5540 Human/Computer Interaction
(0.269) GMU CS 550 Database Systems
(0.267) LSU CSC 4890 Introduction to Theory of Computation
(0.264) KSU CIS 751 Computer and Information Security
(0.262) GMU CS 440 Language Processors and Programming Environments
(0.262) KSU CIS 580 Fundamentals of Game Programming
(0.260) RPI CSCI 4220 Network Programming
(0.259) GMU CS 426 Game Programming II
(0.259) PDX CS 467 The Wireless Web
(0.259) KSU CIS 551 Introduction to Computer and Information Security
(0.256) KSU CIS 15 Undergraduate Seminar
(0.256) SC CSCE 551 Theory of Computation
(0.256) UTK COSC 465 Databases and Scripting Languages
(0.255) GMU CS 662 Computer Graphics Game Technologies
(0.255) PDX CS 557 Functional Languages
(0.252) GMU AIT 702 Penetration Testing and Ethical Hacking
(0.251) Stanford CS 1 Practical Unix
(0.247) PDX CS 510 Top: Introduction to Performance Measurement, Modeling and Analysis
(0.246) AU CSC 460 Tools of Scientific Computing
(0.245) Stanford CS 211 Content Creation in Virtual Reality
(0.244) Utah CS 5100 Foundations of Computer Science
(0.243) GMU CS 788 Autonomic Computing
(0.241) PDX CS 585 Cryptography
(0.240) KSU CIS 761 Data Base Management Systems
(0.239) PDX CS 442 Advanced Artificial Intelligence: Combinatorial Games
(0.239) Utah CS 6530 Database Systems
(0.238) ACM EC 0 Discrete Mathematics
(0.237) Utah CS 6721 Analog Integrated Circuits Lab
(0.232) SC CSCE 211 Digital Logic Design
(0.232) KSU CIS 645 Software Development Environments
(0.232) SC CSCE 102 General Applications Programming
(0.230) PDX CS 510 Top: Nonstandard Computation
(0.227) Utah CS 5720 Analog Integrated Circuit Design
(0.226) PDX CS 533 Concepts of Operating Systems
(0.226) LSU CSC 7101 Programming Language Structures
(0.224) RPI CSCI 4400 Xinformatics
(0.224) Utah CS 6230 Parallel Computing and High Performance Computing
(0.222) GMU AIT 622 Determining Needs for Complex Big Data Systems
(0.222) PDX CS 322 Languages and Compiler Design II
(0.222) KSU CIS 115 Introduction to Computing Science
(0.222) PDX CS 494 Internetworking Protocols
(0.221) GMU CS 222 Computer Programming for Engineers
(0.219) PDX CS 485 Cryptography
(0.219) RPI CSCI 6390 Database Mining
(0.216) Stanford CS 2 Introduction to Media Production
(0.215) AU CSC 535 User Interface Analysis and Design
(0.215) PDX CS 333 Introduction to Operating Systems
(0.215) ACM EC 0 Computer Graphics
(0.214) ACM EC 0 Operating Systems
(0.213) PDX CS 410 Top: Human Computer Interaction
(0.212) PDX CS 452 Building Software Systems with Components
(0.211) Utah CS 6660 Physics-based Animation
(0.210) PDX CS 510 Top: Principles of Database Systems
(0.210) PDX CS 480 Randomized Algorithms and Probabilistic Analysis
(0.210) LSU CSC 4999 Advanced Independent Undergraduate Research
(0.209) PDX CS 345 Cyberculture: The Internet and Popular Culture
(0.209) ACM EC 0 Issues in Computing
(0.208) Utah CS 6170 Computational Topology
(0.208) PDX CS 542 Advanced Artificial Intelligence: Combinatorial Games
(0.207) Utah CS 3700 Fundamentals of Digital System Design
(0.206) KSU CIS 362 Introduction to Business Programming
(0.206) SC CSCE 240 Introduction to Software Engineering
(0.205) GMU CS 752 Interactive Graphics Software
(0.205) PDX CS 510 Top: Advanced Programming
(0.203) AU CSC 435 Web Programming
(0.203) Utah CS 6210 Advanced Scientific Computing I
(0.203) Stanford CS 155 Computer and Network Security (EE 287A)
(0.203) RPI CSCI 6360 Parallel Computing
(0.202) UTK COSC 425 Introduction to Machine Learning
(0.198) Utah CS 5530 Database Systems
(0.197) UTK COSC 462 Parallel Programming
(0.197) ACM EC 0 Human Aspects of Computer Science
(0.197) GMU CS 390 Research and Project Design Principles in Computing
(0.197) GMU CS 123 Computing: From the Abacus to the Web
(0.195) RPI CSCI 6140 Computer Operating Systems
(0.195) KSU CIS 530 Introduction to Artificial Intelligence
(0.194) PDX CS 457 Functional Languages
(0.194) Stanford CS 190 Software Design Studio
(0.193) ACM EC 0 Computer Systems Security
(0.192) Utah CS 6620 Ray Tracing for Graphics
(0.191) PDX CS 410 Top: Introduction to Computational Biology
(0.190) PDX CS 589 Principles of Database Systems
(0.189) GMU CS 580 Introduction to Artificial Intelligence
(0.189) PDX CS 410 Top: Algorithm Design & Analysis
(0.189) Utah CS 3810 Computer Organization
(0.189) RPI CSCI 4480 Robotics I
(0.188) Utah CS 7460 Distributed Operating Systems
(0.187) Stanford CS 143 Compilers
(0.187) Stanford CS 107 Computer Organization and Systems
(0.185) GMU CS 101 Preview of Computer Science
(0.185) PDX CS 486 Introduction to Database Management Systems
(0.185) GMU CS 683 Parallel Algorithms
(0.185) AU CSC 565 Operating Systems
(0.184) SC CSCE 145 Algorithmic Design I
(0.184) PDX CS 510 Top: Foundations of Database Systems
(0.184) PDX CS 553 Design Patterns
(0.183) LSU CSC 4370 Software Modeling Techniques
(0.182) PDX CS 445 Machine Learning
(0.181) Stanford CS 263 Algorithms for Modern Data Models (MS&E 317)
(0.180) RPI CSCI 2600 Principles of Software
(0.180) ACM EC 0 Human Computer Interaction
(0.179) PDX CS 575 Computer System Analysis
(0.178) PDX CS 410 Top: Network Routing and Management
(0.176) GMU CS 444 Introduction to Computational Biology
(0.176) ACM EC 0 Systems Programming
(0.175) Utah CS 6770 Advanced Digital VLSI Systems Design
(0.174) ACM EC 0 Computer Networks
(0.173) PDX CS 410 Top: Wireless Networking Concepts
(0.172) Stanford CS 327 Advanced Robotic Manipulation
(0.171) Stanford CS 373 Statistical and Machine Learning Methods for Genomics (BIO 268, BIOMEDIN 245, GENE 245, STATS 345)
(0.171) PDX CS 510 Top: Open Source Software Development in the Unix Environment
(0.171) Stanford CS 106 Standard C++ Programming Laboratory
(0.169) KSU CIS 536 Introduction to Computer Graphics
(0.168) ACM EC 0 Programming Language Design and Implementation
(0.166) Utah CS 4480 Computer Networks
(0.166) Utah CS 5340 Natural Language Processing
(0.165) GMU CS 540 Language Processors
(0.165) KSU CIS 522 Introduction to Data Structures
(0.161) ACM EC 0 Compilers
(0.161) AU CSC 493 Computer Science Capstone Project
(0.160) PDX CS 321 Languages and Compiler Design I
(0.160) PDX CS 510 Top: Dependent Type Programming
(0.157) PDX CS 410 Top: Advanced Java Programming
(0.156) GMU CS 112 Introduction to Computer Programming
(0.156) Stanford CS 194 Software Project
(0.154) ACM EC 0 Algorithms and Data Structures
(0.153) PDX CS 595 Network Routing
(0.153) Utah CS 5490 Network Security
(0.152) GMU CS 689 Planning Motions of Robots and Molecules
(0.151) GMU CS 484 Data Mining
(0.150) Stanford CS 244 Networked Wireless Systems (EE 384E)
-
23
(0.19871) 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
-
93
(0.181622) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.908) Utah CS 1001 Engineering Computing using MATLAB
(0.899) Utah CS 1000 Engineering Computing
(0.881) SC CSCE 206 Scientific Applications Programming
(0.869) SC CSCE 500 Computer Programming and Applications
(0.864) KSU CIS 209 C Programming for Engineers
(0.821) AU CSC 280 Introduction to Computer Science I
(0.759) Utah CS 2000 Introduction to Program Design in C
(0.750) SC CSCE 204 Program Design and Development
(0.652) SC CSCE 101 Introduction to Computer Concepts
(0.650) GMU CS 112 Introduction to Computer Programming
(0.648) KSU CIS 105 Introduction to Computer Programming
(0.643) SC CSCE 102 General Applications Programming
(0.632) SC CSCE 145 Algorithmic Design I
(0.622) RPI CSCI 1190 Beginning Programming for Engineers
(0.618) LSU CSC 1250 Introduction to Programming
(0.613) LSU CSC 2533 Introduction to Engineering Computation
(0.601) SC CSCE 205 Business Applications Programming
(0.600) UTK COSC 102 Introduction to Computer Science
(0.591) SC CSCE 304 Applied Problem Solving and Programming
(0.588) PDX CS 161 Introduction to Programming and Problem-solving
(0.577) Utah CS 1410 Introduction to Object-Oriented Programming
(0.576) KSU CIS 200 Programming Fundamentals
(0.552) Stanford CS 103 Mathematical Problem-solving Strategies
(0.547) LSU CSC 1240 Statistics and Graphics with MATLAB
(0.533) Utah CS 4190 Programming Challenges
(0.511) GMU CS 391 Advanced Programming Lab
(0.474) UTK COSC 370 Introduction to Scientific Computing
(0.469) RPI CSCI 1010 Introduction to Computer Programming
(0.458) Stanford CS 106 Programming Methodology (ENGR 70A)
(0.458) KSU CIS 362 Introduction to Business Programming
(0.440) AU CSC 281 Introduction to Computer Science II
(0.438) ACM EC 0 Introduction to Programming
(0.423) PDX CS 106 Computing Fundamentals II
(0.420) KSU CIS 111 Introduction to Computer Programming
(0.383) UTK COSC 140 Data Structures and Algorithms I
(0.382) Utah CS 1030 Foundations of Computer Science
(0.376) Stanford CS 198 Teaching Computer Science
(0.376) Stanford CS 109 Statistical Computing with R Laboratory
(0.356) LSU CSC 1350 Computer Science I for Majors
(0.348) GMU CS 330 Formal Methods and Models
(0.348) RPI CSCI 1100 Computer Science I
(0.337) ACM EC 0 Object-Oriented Programming
(0.332) PDX CS 163 Data Structures
(0.325) SC CSCE 564 Computational Science
(0.324) Utah CS 2420 Introduction to Algorithms & Data Structures
(0.321) LSU CSC 3991 HONORS: Undergraduate Research in Computer Science
(0.320) GMU CS 633 Computational Geometry
(0.318) Stanford CS 101 Introduction to Computing Principles
(0.317) GMU CS 706 Concurrent Software Systems
(0.314) PDX CS 202 Programming Systems
(0.297) LSU CSC 1254 Computer Science II with C++
(0.282) GMU CS 222 Computer Programming for Engineers
(0.278) SC CSCE 491 Capstone Computer System Project
(0.268) SC CSCE 146 Algorithmic Design II
(0.267) LSU CSC 2730 Data Science and Analytics
(0.264) SC CSCE 563 Systems Simulation
(0.264) SC CSCE 567 Visualization Tools
(0.262) Stanford CS 107 Computer Organization and Systems
(0.237) PDX CS 162 Introduction to Computer Science
(0.232) ACM EC 0 Programming Languages and Techniques I
(0.225) ACM EC 0 General Computer Science
(0.222) GMU AIT 521 Software Engineering Essentials
(0.222) PDX CS 510 Top: Security and Programming
(0.221) GMU AIT 675 Overview of the National Intelligence Community
(0.206) LSU CSC 3501 Computer Organization and Design
(0.205) GMU CS 484 Data Mining
(0.202) ACM KA 0 Computational Science (CN)
(0.200) PDX CS 410 Top: Security and Programming
(0.199) GMU CS 530 Mathematical Foundations of Computer Science
(0.184) Utah CS 4150 Algorithms
(0.183) ACM KA 0 Information Management (IM)
(0.182) Utah CS 3100 Models of Computation
(0.182) Utah CS 3700 Fundamentals of Digital System Design
(0.181) KSU CIS 725 Advanced Computer Networks
(0.181) LSU CSC 1253 Computer Science I with C++
(0.181) SC CSCE 552 Computer Game Development
(0.181) ACM EC 0 Introduction to Program Design
(0.178) AU CSC 460 Tools of Scientific Computing
(0.177) GMU CS 100 Principles of Computing
(0.176) PDX CS 510 Top: Functional Logic Programming
(0.176) ACM EC 0 Algorithms
(0.175) ACM EC 0 The Digital Age
(0.174) SC CSCE 517 Computer Crime and Forensics
(0.174) GMU CS 310 Data Structures
(0.166) PDX CS 441 Artificial Intelligence
(0.164) ACM KA 0 Algorithms and Complexity (AL)
(0.162) GMU CS 211 Object-Oriented Programming
(0.154) LSU CSC 4330 Software Systems Development
(0.154) SC CSCE 210 Computer Hardware Foundations
(0.154) KSU CIS 501 Software Architecture and Design
(0.154) AU CSC 570 Database Management Systems
(0.150) LSU CSC 1351 Computer Science II for Majors
(0.150) SC CSCE 561 Numerical Analysis
-
36
(0.162764) 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