Penn Course Cart

CIS 110

Introduction to Computer Programming (with Java, for Beginners)

Programming Fundamentals

CIS 120

Programming Languages and Techniques I

Software Design

Programming Fundamentals

CIS 121

Programming Languages and Techniques II

Data Structures

CIS 125

Technology and Policy

CIS 140

Introduction to Cognitive Science

Cognitive Science

Interdisciplinary

CIS 160

Mathematical Foundations of Computer Science

CIS 190

C++ Programming

Systems Programming

CIS 191

Using and Understanding Unix and Linux

Systems Programming

CIS 192

Python Programming

Web Development

CIS 193

C# Programming

Object-Oriented

CIS 194

Haskell Programming

Functional Programming

Programming Languages

CIS 195

Mobile App Development

Mobile Development

CIS 196

Ruby on Rails Web Development

Web Development

CIS 197

JavaScript

Web Development

CIS 198

Rust Programming

Systems Programming

CIS 240

Introduction to Computer Architecture

Computer Architecture

Systems Programming

CIS 261

Discrete Probability, Stochastic Processes, and Statistical Inference

CIS 262

Automata, Computability, and Complexity

CIS 320

Introduction to Algorithms

Data Structures

CIS 331

Intro to Networks and Security

Network Security

Software Security

CIS 334

Advanced Topics in Algorithms

Randomized Algorithms

CIS 341

Compilers and Interpreters

Code Generation

CIS 350

Software Design/Engineering

Software Engineering

Agile Development

CIS 371

Computer Organization and Design

Computer Hardware

Assembly Programming

CIS 380

Computer Operating Systems

Operating Systems

Distributed Systems

CIS 390

Robotics: Planning and Perception

Planning Algorithms

CIS 398

Quantum Computer and Information Science

Quantum Computing

Information Science

Quantum Mechanics

CIS 400

Senior Project

CIS 401

Senior Project (Continuation)

Project Presentation

CIS 419

Applied Machine Learning

Machine Learning

Supervised Learning

Unsupervised Learning

CIS 421

Artificial Intelligence

Artificial Intelligence

Machine Learning

CIS 436

Introduction to Computational Biology and Biological Modeling

Computational Biology

Biological Modeling

CIS 441

Embedded Software for Life-Critical Applications

Embedded Software

Life-Critical Systems

CIS 450

Database and Information Systems

Information Systems

CIS 455

Internet and Web Systems

Interoperability

CIS 460

Interactive Computer Graphics

Computer Graphics

CIS 461

Advanced Rendering

Global Illumination

CIS 462

Computer Animation

Computer Animation

Dynamic Systems

CIS 482

Logic in Computer Science

Mathematical Foundations

CIS 497

Senior Project (DMD Students only)

Technical Skills

CIS 482: Logic in Computer Science

Logic

Proofs

Mathematical Foundations

This course provides a thorough introduction to mathematical logic, covering in-depth topics of syntax, semantics, decision procedures, and soundness and completeness for both propositional and first-order logic.

Prerequisites: CIS 160

Cross-listed: none