| source Yale (X) |
level |
department Computer Science (X) |
MWF 10.30-11.20 Fall 2009 Final exam scheduled (Group 33) 12/18/2009 F 9.00 Development on the computer of programming skills, problem-solving methods, and selected applications.
Score: 7.1821785 Details | Listing | Web page
MW 11.35-12.50 Fall 2009 Final exam scheduled (Group 34) 12/17/2009 Th 9.00 Skills WR Introduction to the basic ideas of computer science (computability, algorithm, virtual machine, symbol processing system), and of several ongoing relationships between computer science and other fields, particularly philosophy of mind.
Score: 7.1821785 Details | Listing | Web page
MWF 10.30-11.20 Fall 2009 Final exam scheduled (Group 33) 12/18/2009 F 9.00 Introduction to the concepts, techniques, and applications of computer science. Topics include computer systems (the design of computers and their languages); theoretical foundations of computing (computability, complexity, algorithm design); and artificial intelligence (the organization of knowledge and its representation for efficient search). Examples stress the importance of different problem-solving methods.
Score: 7.1821785 Details | Listing | Web page
TTh 1.00-2.15 Fall 2009 Final exam scheduled (Group 26) 12/15/2009 T 2.00 Skills QR Introduction to formal methods for reasoning and to mathematical techniques basic to computer science. Topics include propositional logic, discrete mathematics, and linear algebra. Emphasis on applications to computer science: recurrences, sorting, graph traversal, Gaussian elimination.
Score: 7.1821785 Details | Listing | Web page
1 HTBA Fall 2009 No regular final examination Permission of instructor required Individual research. Requires a faculty supervisor and the permission of the director of undergraduate studies.
Score: 7.1821785 Details | Listing | Web page
MW 1.00-2.15 Fall 2009 No regular final examination Skills QR Meets during reading period Machine architecture and computer organization, systems programming in a high-level language, assembly language, issues in operating systems, software engineering, prototyping in nonprogramming languages.
Score: 7.1821785 Details | Listing | Web page
MW 1.00-2.15 Fall 2009 Final exam scheduled (Group 36) 12/14/2009 M 2.00 Skills QR Introduction to formal approaches to programming language design and implementation. Topics include the lambda-calculus, type theory, denotational semantics, type-directed compilation, higher-order modules, and application of formal methods to systems software and Internet programming.
Score: 7.1821785 Details | Listing | Web page
MW 2.30-3.45 Fall 2009 No regular final examination Skills QR Study of the theoretical and practical fundamentals of computer-generated music, with a focus on low-level sound representation, acoustics and sound synthesis, scales and tuning systems, and programming languages for computer music generation. Theoretical concepts are supplemented with pragmatic issues expressed in a high-level programming language.
Score: 7.1821785 Details | Listing | Web page
MW 2.30-3.45 Fall 2009 No regular final examination Skills QR Permission of instructor required An introduction to the design, implementation, analysis, and evaluation of computer networks and their protocols. Topics include layered network architectures, applications, transport, congestion, routing, data link protocols, local area networks, performance analysis, multimedia networking, network security, and network management. Emphasis on protocols used in the Internet.
Score: 7.1821785 Details | Listing | Web page
TTh 11.35-12.50 Fall 2009 Final exam scheduled (Group 24) 12/15/2009 T 9.00 Permission of instructor required Introduction to the fundamental concepts of networked embedded systems and wireless sensor networks, presenting a cross-disciplinary approach to the design and implementation of smart wireless embedded systems. Topics include embedded systems programming concepts, low-power and power-aware design, radio technologies, communication protocols for ubiquitous computing systems, and mathematical foundations of sensor behavior. Laboratory work includes programming assignments on low-power wireless devices.
Score: 7.1821785 Details | Listing | Web page
TTh 2.30-3.45 Fall 2009 No regular final examination Skills QR Introduction to database systems. Data modeling. The relational model and the SQL query language. Relational database design, integrity constraints, functional dependencies, and normal forms. Object-oriented databases. Database data structures: files, B-trees, hash indexes.
Score: 7.1821785 Details | Listing | Web page
TTh 1.00-2.15 Fall 2009 No regular final examination Skills QR A study of algorithms and systems that allow computers to find patterns and regularities in databases, to perform prediction and forecasting, and to improve their performance generally through interaction with data.
Score: 7.1821785 Details | Listing | Web page
TTh 2.30-3.45 Fall 2009 No regular final examination Skills QR Introduction to the theory of computational complexity. Basic complexity classes, including polynomial time, nondeterministic polynomial time, probabilistic polynomial time, polynomial space, logarithmic space, and nondeterministic logarithmic space. The roles of reductions, completeness, randomness, and interaction in the formal study of computation.
Score: 7.1821785 Details | Listing | Web page
MWF 10.30-11.20 Fall 2009 Final exam scheduled (Group 33) 12/18/2009 F 9.00 Skills QR Introduction to artificial intelligence research, focusing on reasoning and perception. Topics include knowledge representation, predicate calculus, temporal reasoning, vision, robotics, planning, and learning.
Score: 7.1821785 Details | Listing | Web page
TTh 11.35-12.50 Fall 2009 Final exam scheduled (Group 24) 12/15/2009 T 9.00 Skills QR Artificial neural networks as a computational paradigm studied with application to problems in associative memory, learning, pattern recognition, perception, robotics, and other areas. Development of models for the dynamics of neurons and methods such as learning for designing neural networks. Concepts, designs, and methods compared and tested in software simulation. Brain and consciousness studies are optional topics.
Score: 7.1821785 Details | Listing | Web page
MW 1.00-2.15 Fall 2009 No regular final examination Skills QR An in-depth study of advanced algorithms and systems for rendering, modeling, and animation in computer graphics. Topics vary and may include reflectance modeling, global illumination, subdivision surfaces, NURBS, physically-based fluids systems, and character animation.
Score: 7.1821785 Details | Listing | Web page
1 HTBA Fall 2009 No regular final examination Permission of instructor required Individual study for qualified students who wish to investigate an area of computer science not covered in regular courses. A student must be sponsored by a faculty member who sets the requirements and meets regularly with the student. Requires a written plan of study approved by the faculty adviser and the director of undergraduate studies.
Score: 7.1821785 Details | Listing | Web page
1 HTBA Fall 2009 No regular final examination Permission of instructor required Individual research. Requires a faculty supervisor and the permission of the director of undergraduate studies. The student must submit a written report about the results of the project.
Score: 7.1821785 Details | Listing | Web page
CPSC 527 01 (13926) TTh 1.00-2.15 Fall 2009
Score: 7.1821785 Details | Listing | Web page
CPSC 530 01 (10376) /CPSC430 MW 1.00-2.15 Fall 2009 Introduction to formal approaches to programming language design and implementation. Topics include the lambda-calculus, type theory, denotational semantics, tye-directed compilation, higher-order modules, and application of formal methods to systems software and Internet programming.
Score: 7.1821785 Details | Listing | Web page
CPSC 532 01 (10380) /CPSC432 MW 2.30-3.45 Fall 2009
Score: 7.1821785 Details | Listing | Web page
CPSC 533 01 (13925) /CPSC433 MW 2.30-3.45 Fall 2009 Permission of instructor required
Score: 7.1821785 Details | Listing | Web page
CPSC 535 01 (10396) Fall 2009
Score: 7.1821785 Details | Listing | Web page
CPSC 537 01 (10381) /CPSC437 TTh 2.30-3.45 Fall 2009 An introduction to database systems. Data modeling. The relational model and the SQL query language. Relational database design, integrity constraints, functional dependencies, and natural forms. Object-oriented databases. Implementation of databases: file structures, indexing, query processing, transactions, concurrency control, recovery systems, and security
Score: 7.1821785 Details | Listing | Web page
CPSC 545 01 (13929) /CPSC445 TTh 1.00-2.15 Fall 2009
Score: 7.1821785 Details | Listing | Web page