printer friendly pageCS 157: Logic and Automated Reasoning
An elementary exposition from a computational point of view of propositional and predicate logic, axiomatic theories, and theories with equality and induction. Interpretations, models, validity, proof, strategies, and applications. Automated deduction: polarity, skolemization, unification, resolution, equality. Prerequisite: 103 or 103B.
Terms: Aut
| Units: 3
| UG Reqs: GER:DB-EngrAppSci
CS 161: Design and Analysis of Algorithms
Worst and average case analysis. Recurrences and asymptotics. Efficient algorithms for sorting, searching, and selection. Data structures: binary search trees, heaps, hash tables. Algorithm design techniques: divide-and-conquer, dynamic programming, greedy algorithms, amortized analysis, randomization. Algorithms for fundamental graph problems: minimum-cost spanning tree, connected components, topological sort, and shortest paths. Possible additional topics: network flow, string searching. Prerequisite: 103 or 103B; 109 or
STATS 116.
Terms: Aut, Win, Spr, Sum
| Units: 3-5
| UG Reqs: GER:DB-EngrAppSci, WAY-FR
Instructors:
Guibas, L. (PI)
;
Su, J. (PI)
;
Williams, V. (PI)
;
Ahmed, D. (TA)
;
Anenberg, B. (TA)
;
Au, B. (TA)
;
Chiam, J. (TA)
;
Day, C. (TA)
;
Desai, S. (TA)
;
Ekmekji, A. (TA)
;
Eng, D. (TA)
;
Hildick-Smith, S. (TA)
;
Hong, J. (TA)
;
How, P. (TA)
;
Kim, A. (TA)
;
Lee, H. (TA)
;
NeCamp, J. (TA)
;
Ostrow, R. (TA)
;
Padmanabhan, S. (TA)
;
Pham, H. (TA)
;
Shen, C. (TA)
;
Starosta, A. (TA)
;
Su, J. (TA)
;
Weiler, A. (TA)
;
Yang, A. (TA)
EARTHSYS 101: Energy and the Environment (ENERGY 101)
Energy use in modern society and the consequences of current and future energy use patterns. Case studies illustrate resource estimation, engineering analysis of energy systems, and options for managing carbon emissions. Focus is on energy definitions, use patterns, resource estimation, pollution. Recommended:
MATH 21 or 42.
Terms: Win
| Units: 3
| UG Reqs: GER:DB-EngrAppSci, WAY-AQR, WAY-SMA
EARTHSYS 102: Renewable Energy Sources and Greener Energy Processes (ENERGY 102)
Do you want a much better understanding of renewable power technologies? Did you know that wind and solar are the fastest growing forms of electricity generation? Are you interested in hearing about the most recent, and future, designs for green power? Do you want to understand what limits power extraction from renewable resources and how current designs could be improved? This course dives deep into these and related issues for wind, solar, biomass, geothermal, tidal and wave power technologies. We welcome all student, from non-majors to MBAs and grad students. If you are potentially interested in an energy or environmental related major, this course is particularly useful. Recommended:
Math 21 or 42.
Terms: Spr
| Units: 3
| UG Reqs: WAY-SMA, GER:DB-EngrAppSci
EARTHSYS 103: Understanding Energy (CEE 107A, CEE 207A)
Energy is one of the world's main drivers of opportunity and development for human beings. At the same time, our energy system has significant consequences for our society, political system, economy, and environment. For example, energy production and use is the #1 source of greenhouse gas emissions. This course surveys key aspects of each energy resource, including significance and potential conversion processes and technologies, drivers and barriers, policy and regulatory environment, and social, economic, and environmental impacts. Both depletable and renewable energy resources are covered, including oil, natural gas, coal, nuclear, biomass, hydroelectric, wind, solar, photovoltaics, geothermal, and ocean energy, with cross-cutting topics including electricity, storage, climate change, sustainability, green buildings, energy efficiency, transportation, and the developing world. Understanding Energy is part of a trio of inter-related courses aimed at gaining an in-depth understanding of each energy resource - from fossil fuels to renewable energy. The other two classes are
CEE107W/207W Understanding Energy - Workshop, and
CEE 107F/207F Understanding Energy -- Field Trips. Note that this course was formerly called Energy Resources (
CEE 173A/207A &
Earthsys 103). Prerequisites: Algebra. May not be taken for credit by students who have completed
CEE 107S.
Terms: Aut, Spr
| Units: 3
| UG Reqs: GER:DB-EngrAppSci, WAY-SI
Instructors:
Gragg, D. (PI)
;
Grubert, E. (PI)
;
Knapp, K. (PI)
...
more instructors for EARTHSYS 103 »
Instructors:
Gragg, D. (PI)
;
Grubert, E. (PI)
;
Knapp, K. (PI)
;
Stasio, K. (PI)
;
Woodward, J. (PI)
EARTHSYS 113: Earthquakes and Volcanoes (GEOPHYS 90)
Is the "Big One" overdue in California? What kind of damage would that cause? What can we do to reduce the impact of such hazards in urban environments? Does "fracking" cause earthquakes and are we at risk? Is the United States vulnerable to a giant tsunami? The geologic record contains evidence of volcanic super eruptions throughout Earth's history. What causes these gigantic explosive eruptions, and can they be predicted in the future? This course will address these and related issues. For non-majors and potential Earth scientists. No prerequisites. More information at:
https://stanford.box.com/s/tpwwqpl2ryxfty6stq8wo2j78fj06ikg
Terms: Spr
| Units: 3
| UG Reqs: WAY-SMA, GER:DB-EngrAppSci, WAY-AQR
EE 10N: How Musical Instruments Work
Musical instruments, as well as being fun to play, are excellent examples of science, engineering, and the interplay between the two. How does an instrument make sound? Why does a trumpet sound different from a guitar, a flute, or a bell? We will examine the principles of operation of wind, string, percussion, and electronic instruments hands-on in class. Concepts to be investigated include waves, resonators, understanding and measuring sound spectra and harmonic structure of instruments, engineering design of instruments, the historical development of instruments, and the science and engineering that make them possible. Prerequisites: high school math and physics. Recommended: some experience playing a musical instrument.
Last offered: Spring 2009
| UG Reqs: GER:DB-EngrAppSci
EE 14N: Things about Stuff
Preference to freshmen. The stories behind disruptive inventions such as the telegraph, telephone, wireless, television, transistor, and chip are as important as the inventions themselves, for they elucidate broadly applicable scientific principles. Focus is on studying consumer devices; projects include building batteries, energy conversion devices and semiconductors from pocket change. Students may propose topics and projects of interest to them. The trajectory of the course is determined in large part by the students themselves.
Terms: Aut
| Units: 3
| UG Reqs: GER:DB-EngrAppSci
Instructors:
Lee, T. (PI)
EE 15N: The Art and Science of Engineering Design
The goal of this seminar is to introduce freshmen to the design process associated with an engineering project. The seminar will consist of a series of lectures. The first part of each lecture will focus on the different design aspects of an engineering project, including formation of the design team, developing a project statement, generating design ideas and specifications, finalizing the design, and reporting the outcome. Students will form teams to follow these procedures in designing a term project of their choice over the quarter. The second part of each lecture will consist of outside speakers, including founders of some of the most exciting companies in Silicon Valley, who will share their experiences about engineering design. On-site visits to Silicon Valley companies to showcase their design processes will also be part of the course. The seminar serves three purposes: (1) it introduces students to the design process of turning an idea into a final design, (2) it presents the different functions that people play in a project, and (3) it gives students a chance to consider what role in a project would be best suited to their interests and skills.
Last offered: Winter 2015
| UG Reqs: GER:DB-EngrAppSci
EE 17N: Engineering the Micro and Nano Worlds: From Chips to Genes
Preference to freshmen. The first part is hands-on micro- and nano-fabrication including the Stanford Nanofabrication Facility (SNF) and the Stanford Nanocharacterization Laboratory (SNL) and field trips to local companies and other research centers to illustrate the many applications; these include semiconductor integrated circuits ('chips'), DNA microarrays, microfluidic bio-sensors and microelectromechanical systems (MEMS). The second part is to create, design, propose and execute a project. Most of the grade will be based on the project. By the end of the course you will, of course, be able to read critically a New York Times article on nanotechnology. More importantly you will have experienced the challenge (and fun) of designing, carrying out and presenting your own experimental project. As a result you will be better equipped to choose your major. This course can complement (and differs from) the seminars offered by Profs Philip Wong and Hari Manoharan in that it emphasizes laboratory work and an experimental student-designed project. Prerequisites: high-school physics.
Terms: Spr
| Units: 3
| UG Reqs: GER:DB-EngrAppSci
Instructors:
Pease, R. (PI)
;
Provine, J. (PI)
Filter Results: