2015-16 Pomona College Catalog 
    
    Jun 26, 2024  
HELP
2015-16 Pomona College Catalog [ARCHIVED CATALOG] Use the dropdown above to select the current 2023-24 catalog.

Courses

Check major and minor requirement sections in the Departments, Programs and Areas of Study section to determine if specific courses will satisfy requirements. Inclusion on this list does not imply that the course will necessarily satisfy a requirement.

Click here  to view a Key to Course Listings and Discipline codes.
 

Chinese Literature in Translation
  

  • CHNT168 PO - Gender and Sexuality in Modern Chinese Literature

    When Offered: Fall 2014.
    Instructor(s): E. Cheng
    Credit: 1

    Explores the representation of gender and sexuality by modern and contemporary male and female writers. Issues examined include the notion of “love,” intersection of feminism and nationalism, masculinity and power, gendering of race and class, sexuality and commercialism. (Chinese in Translation)
  

  • CHNT179 HM - Special Topics: China


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CHNT199DRPO - Chinese in Transltn: Directd Rds

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 0.5-1

    Directed Readings. Syllabus reflects workload of a standard course in the department or program. Examinations, written papers, and/or oral presentations equivalent to a standard course. Regular interaction with the faculty supervisor. Weekly meetings are the norm. Available for full- or half-course credit. (Chinese in Translation)
  

  • CHNT199IRPO - Chinese Trsltn: Indep Rsrch Proj

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 0.5-1

    Independent Research Project. A substantial and significant piece of original research produced. Pre-requisite course work required. Available for full credit only. (Chinese in Translation)

Classics
  

  • CLAS001 PO - Intro to Greeks and Romans

    When Offered: Each spring.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Who were the Greeks? What was life like in ancient Rome? This course is an interdisciplinary introduction to the ancient world that draws on literary and historical texts as well as material culture and archaeology.
  

  • CLAS008A PO - Introductory Latin

    When Offered: Each fall.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Intensive study of Latin grammar and syntax, elementary composition and readings from various Latin authors.
  
  

  • CLAS008B PO - Introductory Latin

    When Offered: Each spring.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Intensive study of Latin grammar and syntax, elementary composition and readings from various Latin authors.
  
  

  • CLAS010 PO - The Epic Tradition

    When Offered: Offered alternate years; next offered spring 2016.
    Instructor(s): C. Chinn
    Credit: 1

    As the most prestigious form of literary and oral expression in the Greco-Roman world, epic poetry educated, validated, and entertained ancient audiences from Greek mountainsides to the city of Rome and beyond. Our discussions will explore the heroes, gods, and empires that populate these texts to better understand the cultures that both produced and consumed them.  We will also examine how and why modern authors from a variety of socio-political, ethnic, and cultural contexts continue to engage with Greco-Roman epic.
  
  
  

  • CLAS018 PO - The Ancient Novel and Romance

    When Offered: Offered alternate years; next offered fall 2015.
    Instructor(s): S. Eccleston
    Credit: 1

    Sex, pirates, powerful goddesses and mistaken identities: these are just some of the aspects of the so-called Ancient Novel and its parodies. In this course we will investigate how a few fictional texts from the 1-3rd centuries A.D. construct their characters’ gender and sexuality, and therefore reflect concerns about wisdom, power and difference in the Roman Empire. Theoretical and historical readings will guide our discussions of the works of Chariton, Longus, Petronius, Achilles Tatius, Apuleius and Philostratus.
    This course has been revised for 2016-17.  
  
  
  

  • CLAS032 PO - Introductory/Intermediate Latin

    When Offered: Each spring.
    Instructor(s): C. Chinn
    Credit: 1

    Introductory/Intermediate Latin. Semi-intensive course for students with some previous Latin who are too advanced for CLAS 008A PO  and not ready for a 100 series course. Includes review, mastery of basic grammar and readings from Catullus, Plautus and others.
    This course has been revised for 2016-17.  
  

  • CLAS051A PO - Introductory Classical Greek

    When Offered: Each fall.
    Instructor(s): B. Keim
    Credit: 1

    Greek grammar and syntax for beginning students. Selected readings from such works as Plato’s Dialogues.
  

  • CLAS051B PO - Introductory Classical Greek

    When Offered: Each spring.
    Instructor(s): B. Keim
    Credit: 1

    Greek grammar and syntax for beginning students. Selected readings from such works as Plato’s Dialogues. Prerequisite: CLAS 051A PO .
  

  • CLAS052 PO - Introductory Classical Greek Accelerated

    When Offered: Each semester.
    Instructor(s): C. Chinn
    Credit: 1

    Greek grammar and syntax for beginning students. Completion of one semester course will prepare students to read Ancient Greek texts such as Plato, Xenophon, Tragedy and History in intermediate level courses. The course will also prepare student to read New Testament texts.
  
  

  • CLAS064 PO - Gods, Humans and Justice in Ancient Greece

    When Offered: Last offered spring 2014.
    Instructor(s): R. McKirahan
    Credit: 1

    Focus on the fundamental questions in ancient Greek moral thinking, such as the following: What is the best kind of life for a human? Should I be good? Can I be good? Is morality objective, subjective or relative to one’s society? What is the relation between gods and humans? Are we at the mercy of fate?
  

  • CLAS100 PO - Intermediate Latin

    When Offered: Each fall.
    Instructor(s): C.Chinn; E. Finkelpearl
    Credit: 1

    For students with two or three years of secondary school Latin or one year of college Latin. Selections from Latin poetry and prose of the late Republic and early Empire. Reading and translation from texts; grammar review and composition. Prerequisite: CLAS 008A PO  and CLAS 008B PO  or CLAS 032 PO  or Latin placement test results; test results valid for one year.
  
  

  • CLAS101A PO - Intermediate Greek

    When Offered: Each fall.
    Instructor(s): R. McKirahan
    Credit: 1

    Third semester of Greek, emphasizes reviewing Greek grammar and learning to read Attic Greek prose. Prerequisite: CLAS 051B PO .
  
  

  • CLAS101B PO - Intermediate Greek

    When Offered: Each spring.
    Instructor(s): R. McKirahan; D. Roselli
    Credit: 1

    Fourth semester of Greek, emphasis on reading poetry. Prerequisite: CLAS 101A PO  or CLAS 101A SC .
  
  

  • CLAS103 PO - Medieval Latin Translation

    When Offered: Each semester.
    Instructor(s): K. Wolf
    Credit: 0.5

    Latin survived for centuries after the decline of the Roman Empire as the political, intellectual and ecclesiastical language of medieval Europe, yielding a huge corpus of works, many of which remain untranslated today. This course provides students the chance to hone their skills by producing original translations of medieval texts. Prerequisite: one year of Classical Latin or the equivalent. Every semester. Half-credit, repeatable. Prerequisite: CLAS 008A PO  or CLAS 008A SC .
  

  • CLAS104 PO - Readings in Koine Greek

    When Offered: Spring 2016.
    Instructor(s): B. Keim; R. McKirahan
    Credit: 0.5

    Koine Greek was the common language of the Eastern Mediterranean during the Hellenistic and Roman eras. This course allows students to hone their skills by translating selections from important Koine texts (the Septuagint and the New Testament) and authors (such as Philo and Josephus). Prerequisites: CLAS 051B PO  or permission of instructor. P/NC only. Half-credit. May be repeated for credit.
  

  • CLAS110 PO - Cicero

    When Offered: Offered alternate years; last offered spring 2014.
    Instructor(s): C. Chinn; E. Finkelpearl; R. McKirahan
    Credit: 1

    Introduction to Latin prose with readings from Cicero’s orations and philosophical works. Prerequisite: CLAS 100 PZ  or permission of instructor.
  
  

  • CLAS112 PO - Vergil

    When Offered: Offered alternate years; last offered spring 2014.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Introduction to Latin poetry with readings from Vergil’s Ecloques and Aeneid. Prerequisite: CLAS 100 PZ .
  
  

  • CLAS113 PO - History of Sexuality: The Classical World

    When Offered: Fall 2015.
    Instructor(s): J. Valentine
    Credit: 1

    History of Sexuality: the Classical World. The ancient Greeks and Romans categorized sexuality differently from modern Westerners. This course focuses on same-sex love, an area of maximal difference. Using ancient evidence – from literature, history, and art – as well as modern theories, we will study the history of sexuality in the Classical cultures. Letter grade only.
  

  • CLAS114 PO - Female and Male in Ancient Greece

    When Offered: Offered alternate years; last offered spring 2015.
    Instructor(s): J.Valentine
    Credit: 1

    Using evidence from literature, oratory, law, medical writings and the visual arts, this course will explore the legal and social position of women in ancient Greece; male attitudes toward women and the idea of the Female; sexuality; and the contrast between the myths of powerful women and the apparent reality.
  
  
  
  
  
  
  
  
  

  • CLAS181A PO - Advanced Latin Readings

    When Offered: Each fall.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Great works of Latin prose and poetry from the writings of the major authors of the Roman Republic and Empire. May include the Roman letter, satire, lyric poetry, historians, drama, philosophy, elegiac poets or Lucretius. May be repeated once for credit. Prerequisite: CLAS 100 PZ  or CLAS 110 PO  or CLAS 112 PO .
  
  

  • CLAS181B PO - Advanced Latin Readings

    When Offered: Each spring.
    Instructor(s): C. Chinn; E. Finkelpearl
    Credit: 1

    Great works of Latin prose and poetry from the writings of the major authors of the Roman Republic and Empire. May include the Roman letter, satire, lyric poetry, historians, drama, philosophy, elegiac poets or Lucretius. May be repeated once for credit. Prerequisite: CLAS 100 PZ  or CLAS 110 PO  or CLAS 112 PO .
  
  
  

  • CLAS182A PO - Advanced Greek Readings

    When Offered: Each fall.
    Instructor(s): R. McKirahan
    Credit: 1

    Great works of Greek prose and poetry selected from major authors, genres and periods. Authors and topics may include Homer, the Archaic Age, Greek tragedy, Greek historians, Greek rhetoric, Aristophanes, Plato and Aristotle. Each semester may be repeated for credit. Prerequisite: CLAS 101A PO .
  
  

  • CLAS182B PO - Advanced Greek Readings

    When Offered: Each spring.
    Instructor(s): R. McKirahan; D. Roselli
    Credit: 1

    Great works of Greek prose and poetry selected from major authors, genres and periods. Authors and topics may include Homer, the Archaic Age, Greek tragedy, Greek historians, Greek rhetoric, Aristophanes, Plato and Aristotle. Each semester may be repeated for credit. Prerequisite: CLAS 101B PO  or CLAS 101B SC .
  
  

  • CLAS190 PO - Senior Seminar in Classics

    When Offered: Each fall.
    Instructor(s): Staff
    Credit: 1

    A seminar for review and discussion of major topics in Greek and Roman literature and civilization and directed study for majors in the process of completing senior exercise.
  

  • CLAS191 PO - Senior Thesis in Classics

    When Offered: Each spring.
    Instructor(s): Staff
    Credit: 1

    An independent research and writing project supervised by a member of the Classics department faculty and read by one additional reader. Students work on an individual basis with faculty to identify a topic and become familiar with relevant bibliography and research methods. After one or more drafts critiqued by their supervisor or other faculty members, the students present the results of their research in writing and make an oral presentation to the department. Full course or half-course.
  

  • CLAS192 PO - Senior Project

    When Offered: Each spring.
    Instructor(s): Staff
    Credit: 1

    An independent project supervised by a member of the Classics department and evaluated by one additional reader. Students work on an individual basis with faculty to define the project and become familiar with relevant bibliography and appropriate research methods, After meeting regularly with faculty to discuss progress, the students present the results of their research in writing or, if appropriate, in another medium and make an oral presentation to the department. Full course or half-course.
  

  • CLAS199DRPO - Classics: Directed Readings

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 0.5-1

    Directed Readings. Syllabus reflects workload of a standard course in the department or program. Examinations or papers equivalent to a standard course. Regular interaction with the faculty supervisor. Weekly meetings are the norm. Available for full- or half-course credit.
  

  • CLAS199IRPO - Classics: Independent Research

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 0.5-1

    Independent Research or Creative Project. A substantial and significant piece of original research or creative product produced. Pre-requisite course work required. Available for full- or half-course credit.
  

  • CLAS199RAPO - Classics: Research Assistantship

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 0.5

    Research Assistantship. Lab notebook, research summary or other product appropriate to the discipline is required. Half-course credit only.

Computer Science
  

  • CSCI005 HM - Introduction to Computer Science


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI030 PO - Computation and Cognition with Lab

    When Offered: Each spring.
    Instructor(s): Staff
    Credit: 1

    Introduction to computer programming for cognitive science and the computational modeling of human cognition. The nature of computation, the relationship between computation and intelligence and various approaches from artificial intelligence will be explored. Intensive programming practice during weekly lab sessions. No previous programming experience required.
  
  

  • CSCI051 PO - Intro to Computer Science with Lab

    When Offered: Each semester.
    Instructor(s): M. Greenberg; T. Chen; Staff
    Credit: 1

    Introduction to the field of computer science using the object-oriented language Java. Topics include iteration and recursion, basic data structures, sorting and searching, elementary analysis of algorithms and a thorough introduction to object-oriented programming. Special emphasis on graphics, animation, event-driven programming and the use of concurrency to make more interesting programs. No previous programming experience required.
  

  • CSCI051G PO - Introduction to Computer Science with Lab in Grace

    When Offered: Each fall.
    Instructor(s): K. Bruce
    Credit: 1

    Introduction to the field of computer science using the new object-oriented language Grace. Topics include iteration and recursion, basic data structures, sorting and searching, elementary analysis of algorithms and a thorough introduction to object-oriented programming. Special emphasis on graphics, animation and event-driven programming to make more interesting programs. No previous programming experience required. This is an experimental section of CSCI 051 PO  with a new experimental programming language designed to make it easier for novices to learn to program. The last few weeks of the course will include instruction in Java so that students will have the prerequisites for follow-up courses. Students must take the lab associated with this experimental section only.
  

  • CSCI052 PO - Fundamentals of Computer Science

    When Offered: Each semester.
    Instructor(s): E. Bull; D. Kauchak
    Credit: 1

    A solid foundation in functional programming, procedural and data abstraction, recursion and problem-solving. Applications to key areas of computer science, including algorithms and complexity, computer architecture and organization, programming languages, finite automata and computability. This course serves the same role as CSCI 060 HM  as a prerequisite for upper-division computer science courses at any of the Claremont Colleges. Prerequisite: CSCI 051 CM  or CSCI 051 PO .
  

  • CSCI055 PO - Discrete Mathematics

    When Offered: Each spring.
    Instructor(s): Staff
    Credit: 1

    Introduction to the study of finite mathematical structures and the ways to build them, count them and analyze them. Topics and examples chosen to relate to concepts of interest in the design and analysis of computer algorithms, including permutations and combinations, graphs and trees and codes. Emphasis on creative problem solving and learning to read and write proofs. Prerequisite: CSCI 051 PO .
  

  • CSCI060 HM - Principles of Computer Science


    See the Harvey Mudd College Catalog for a description of this course.
  
  

  • CSCI062 PO - Data Structures Advanced Programming

    When Offered: Each semester.
    Instructor(s): Staff
    Credit: 1

    Key topics include abstract data types (including stacks, queues, trees, priority queues and dynamic dictionaries), analysis of algorithms (including worst-case, average-case and amortized analysis) and program verification. Extensive practice in Java. Includes an introduction to manual memory management in C++. Serves the same role as CSCI 070 HM  as a prerequisite for upper-division computer science courses at any of The Claremont Colleges. Prerequisite: CSCI 051 CM  or CSCI 051 PO .
  

  • CSCI070 HM - Data Structures/Prgm Development


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI081 PO - Computability and Logic

    When Offered: Each semester.
    Instructor(s): K. Bruce; E. Bull; Staff
    Credit: 1

    An introduction to formal systems, mathematical models of machines and computability. Topics include predicate logic, regular languages, context free languages and recursive and recursively enumerable sets. Students will learn to understand and construct formal proofs. Prerequisites: Either CSCI 052 PO  or CSCI 060 HM ; and one of the following CSCI 055 PO , MATH 055 HM , or MATH 103 PO .
  

  • CSCI105 PO - Computer Systems

    When Offered: Each semester.
    Instructor(s): E. Bull; T. Chen; G. Kuenning; Staff
    Credit: 1

    Data representations, machine level representation of programs, processor architecture, program optimizations, the memory hierarchy, linking, exceptional control flow, performance measurement, virtual memory, system-level I/O and basic concurrent programming. These concepts are supported by a series of hands-on lab assignments. Prerequisites: CSCI 052 PO  and CSCI 062 PO  (or the CMC equivalents); or CSCI 060 HM  and CSCI 070 HM .
  

  • CSCI124 HM - User Interface Design


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI125 HM - Computer Networks


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI131 PO - Programming Languages

    When Offered: Each semester.
    Instructor(s): K. Bruce; M. Greenberg; M. O’Neill; C. Stone; Staff
    Credit: 1

    A thorough examination of issues and features in language design and implementation, including language-provided data structuring and data-typing, modularity, scoping, inheritance and concurrency. Compilation and run-time issues. Introduction to formal semantics. Prerequisites: CSCI 052 PO  and CSCI 062 PO  (or the CMC equivalents); or CSCI 060 HM  and CSCI 070 HM .
    This course has been revised for 2016-17.  
  

  • CSCI132 HM - Compiler Design


    See the Harvey Mudd College Catalog for a description of this course.
  
  

  • CSCI133 PO - Database Systems

    When Offered: Fall 2015.
    Instructor(s): Y. Wu
    Credit: 1

    Fundamental and cutting-edge concepts in database design: entity-relationship model, relational and semi-structured models. Query languages: relational algebra, relational calculus, SQL and XPath. Mechanism and design of database management systems: storage model, indexing, query evaluation and optimization, and concurrency control. Key ideas will be practiced via course projects that involve the design and implementation of real-life database applications. Prerequisites: CSCI 052 PO  and CSCI 062 PO  (or CSCI 062 CM ) or CSCI 060 HM  and CSCI 070 HM . CSCI 081 PO  recommended.
  

  • CSCI134 HM - Operating Systems


    See the Harvey Mudd College Catalog for a description of this course.
  
  

  • CSCI136 HM - Computer Architecture


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI140 PO - Algorithms

    When Offered: Each semester.
    Instructor(s): J. Boerkoel; T. Chen; R. Libeskind-Hadas; N. Pippenger
    Credit: 1

    Algorithm design, computer implementation and analysis of efficiency. Discrete structures, sorting and searching, parsing, pattern matching and data management. Reducibility and theoretical limitations. Prerequisites: CSCI 055 PO  and CSCI 062 PO ; CSCI 055 PO  and CSCI 070 HM ; CSCI 062 PO  and MATH 055 HM ; or CSCI 070 HM  and MATH 055 HM .
  

  • CSCI141 HM - Advanced Topics in Algorithms


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI142 HM - Complexity Theory


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI144 HM - Scientific Computing


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI147 HM - Computer Systems Performance Analysis


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI151 PO - Artificial Intelligence

    When Offered: Each fall.
    Instructor(s): D. Kauchak; Staff
    Credit: 1

    Introduction to artificial intelligence covering traditional topics such as state-space search, game playing and knowledge representation, as well as more recent approaches including neural networks, genetic algorithms, robotics and machine learning. Philosophical issues surrounding artificial intelligence and cognitive science will also be considered. Prerequisite: CSCI 052 PO .
    This course has been revised for 2016-17.  
  

  • CSCI152 HM - Neural Networks


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI153 HM - Computer Vision


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI154 HM - Robotics


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI155 HM - Computer Graphics


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI156 HM - Parallel and Real-Time Computing


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI157 HM - Computer Animation


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI158 PO - Machine Learning

    When Offered: Last offered spring 2012.
    Instructor(s): Staff
    Credit: 1

    An exploration of concepts and methods in machine learning including decision trees, Markov models and neural networks. Students will implement Machine Learning methods, read and discuss contemporary research articles in the space, independently propose research and implement a Machine Learning approach to a modern artificial intelligence problem. Prerequisite: CSCI 151 PO .
    This course has been revised for 2016-17.  
  

  • CSCI159 PO - Natural Language Processing

    When Offered: Last offered fall 2014.
    Instructor(s): D. Kauchak
    Credit: 1

    An introduction to fundamental concepts in natural language processing and computational linguistics, a field whose goals include enabling human-computer interaction via language, text translation and understanding. Use of statistical and logical techniques to study language processing at word, syntactic and semantic levels. Assignments require constructing and modifying systems as well as using large, existing corpora for validation. Prerequisites: CSCI 052 PO  and CSCI 062 PO  (or the CMC equivalents); or CSCI 060 HM  and CSCI 070 HM .
  

  • CSCI162 HM - Beyond Calculation Next 25 Years


    See the Harvey Mudd College Catalog for a description of this course.
  

  • CSCI181D PO - Architecture Aware Algorithms

    When Offered: Last offered spring 2012.
    Instructor(s): T. Chen
    Credit: 0.5

    What does theory look like in practice? In this half-credit class we will survey work on algorithms that are designed to run efficiently on modern computer architectures. In our weekly meetings we will read, present, and discuss research papers. For the final project students will engineer, implement, and/or evaluate an architecture aware algorithm. Prerequisite: CSCI 055 PO  and CSCI 105 PO  or by permission of the instructor.
  

  • CSCI181F PO - Seminar on Big Software

    When Offered: Last offered fall 2012.
    Instructor(s): Staff
    Credit: 1

    This course will overview the various phases and activities in large software projects, study the problems that commonly occur in each phase and approaches for addressing them, and then create miniature-big-projects in which all these skills can be applied. Prerequisites: CSCI 062 CM  or CSCI 062 PO .
  

  • CSCI181H PO - Mobile Software Development

    When Offered: Last offered spring 2014.
    Instructor(s): P. McNally
    Credit: 1

    Design principles for applications in mobile operating systems. Topics will include user-interface and user-experience design for touch devices, object oriented programming under the model-view-controller paradigm and the integration of social media data. The course will culminate in a software project of the student’s design. Prerequisites: CSCI 052 PO  and CSCI 062 PO  (or the CMC equivalents); or CSCI 060 HM  and CSCI 070 HM .
  

  • CSCI181M PO - Computational Photography

    When Offered: Fall 2015.
    Instructor(s): M. Bannister
    Credit: 1

    Introduction to the mathematical and algorithmic techniques from image processing and computer vision via applications to computational photography. Computational photography is an exciting new field at the intersection of computer vision, graphics and machine learning. Its goal is to overcome the limitations of the traditional camera by using computational techniques to create, enhance, modify, and interpret digital images. Topics may include: noise and blur reduction, warping and morphing, hole-filling, panoramic photo stitching, matting and blending, high dynamic range imaging and texture synthesis. Prerequisites: CSCI 055 PO , CSCI 062 PO , and MATH 060 PO .
  

  • CSCI181N PO - Software Foundations

    When Offered: Spring 2016.
    Instructor(s): M. Greenberg
    Credit: 1

    Building reliable software through formal verification. We weave together five threads: (1) logic, for making and justifying precise claims about programs; (2) proof assistants, to construct rigorous logical arguments; (3) functional programming, both as a method of programming and as a bridge between programming and logic; (4) formal techniques for reasoning about the properties of specific programs (e.g., the fact that a loop terminates on all inputs, or that a sorting function or a compiler obeys a particular specification; (5) type systems, for establishing well-behaveness guarantees for all programs in a given programming language (e.g., the fact that well-typed Java programs cannot be subverted at runtime). Prerequisites: CSCI 131 PO  or CSCI 081 PO .
 

Page: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 … Forward 10 -> 24
Catalog Navigation
  Catalog Home

  New and Revised Courses
  Courses
  Claremont Colleges Course Schedule
  Departments, Programs and Areas of Study
  Degree Requirements & Academic Regulations
  Majors and Minors
  Special Programs and Opportunities


  Academic Calendar
  About the College
  Academics at Pomona
  Admissions
  Campus Life
  Financial Aid
  Financial Information


  Faculty
  Administration
  Board of Trustees


  Campus Facilities
  Campus Map and Directions


  Archived Pomona College Catalogs


  My Portfolio