2019-2020 2020-2021 2021-2022 2022-2023 2023-2024
Browse
by subject...
    Schedule
view...
 

31 - 40 of 100 results for: CS

CS 154: Introduction to the Theory of Computation

This course provides a mathematical introduction to the following questions: What is computation? Given a computational model, what problems can we hope to solve in principle with this model? Besides those solvable in principle, what problems can we hope to efficiently solve? In many cases we can give completely rigorous answers; in other cases, these questions have become major open problems in computer science and mathematics. By the end of this course, students will be able to classify computational problems in terms of their computational complexity (Is the problem regular? Not regular? Decidable? Recognizable? Neither? Solvable in P? NP-complete? PSPACE-complete?, etc.). Students will gain a deeper appreciation for some of the fundamental issues in computing that are independent of trends of technology, such as the Church-Turing Thesis and the P versus NP problem. Prerequisites: CS 103 or 103B.
Terms: Aut | Units: 3-4 | UG Reqs: GER:DB-EngrAppSci

CS 157: Computational Logic

Rigorous introduction to Symbolic Logic from a computational perspective. Encoding information in the form of logical sentences. Reasoning with information in this form. Overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth. Topics include the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic, validity, contingency, unsatisfiability, logical equivalence, entailment, consistency, natural deduction (Fitch), mathematical induction, resolution, compactness, soundness, completeness.
Terms: Aut | Units: 3 | UG Reqs: GER:DB-EngrAppSci, WAY-FR

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: 106B or 106X; 103 or 103B; 109 or STATS 116.
Terms: Aut, Win, Sum | Units: 3-5 | UG Reqs: GER:DB-EngrAppSci, WAY-FR

CS 161ACE: Problem-Solving Lab for CS161

Additional problem solving practice for CS161. Sections are designed to allow students to acquire a deeper understanding of CS and its applications, work collaboratively, and develop a mastery of the material. Concurrent enrollment in CS 161 required. Limited enrollment, permission of instructor, and application required.
Terms: Aut, Win | Units: 1
Instructors: Sharkov, S. (PI)

CS 177: Human Centered Product Management

Ask any product person what the most important skills are for PMs and they'll say interpersonal dynamics-- negotiation, communication, conflict resolution, interviewing and more. This class will look at the role of product management through a human-centered lens, including customers and coworkers. As well, students will experience the Agile-Lean-UX development process. Course enrollment will be capped, an application will be sent out first day of class. Prerequisite: CS106A&B or equivalent. This class could be taken before or after 147.
Terms: Aut | Units: 3-4

CS 185: Coding with LLM Assistants

In under a year, LLM assistants have become a tool that many professional software engineers can¿t imagine living without. In this course, we will explore that phenomenon and design curriculum and pedagogical adaptations to it. In this class, we will: Conduct a survey-based ethnography of how professional software engineers are using LLMs (e.g., do they find it more useful for architectural planning vs code creation vs code explanation vs identifying bugs; what percentage of the day are they using it; how comfortable do they feel using it to work in frameworks or languages they are themselves unfamiliar with, etc); Engage in structured exploration using different LLM coding assistant tools for actual Stanford assignments (in classes they¿ve already completed) and to perform new tasks in unfamiliar languages, and reflect on those experiences; Read what others are saying about the process of coding with LLMs through review of popular sources (e.g., podcasts, blog posts); Learn an overview of the science of teaching and learning, and what is needed for an effective education in software engineering; Design new curricular materials that address the new needs and practices of professional software engineers, using principles of good pedagogical design.
Terms: Aut | Units: 2

CS 191: Senior Project

Restricted to Computer Science students. Group or individual research projects under faculty direction. Register using instructor's section number. A project can be either a significant software application or publishable research. Software application projects include a research component, substantial programming, and are comparable in scale to shareware programs or commercial applications. Research projects may result in a paper publishable in an academic journal or presentable at a conference. Public presentation of final application or research results is required. Prerequisite: Completion of at least 135 units and consent of instructor. Project proposal form is required before the beginning of the quarter of enrollment: https://cs.stanford.edu/degrees/undergrad/Senior%20Project%20Proposal.pdfhttps:// cs.stanford.edu/degrees/undergrad/Senior%20Project%20Proposal.pdf
Terms: Aut, Win, Spr, Sum | Units: 1-6 | Repeatable for credit
Instructors: Achour, S. (PI) ; Agrawala, M. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Angst, R. (PI) ; Bailis, P. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Blikstein, P. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Bouland, A. (PI) ; Boyd, S. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Charikar, M. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Demszky, D. (PI) ; Dill, D. (PI) ; Dror, R. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Fogg, B. (PI) ; Follmer, S. (PI) ; Fox, A. (PI) ; Fox, E. (PI) ; Genesereth, M. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Guibas, L. (PI) ; Haber, N. (PI) ; Hanrahan, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Koller, D. (PI) ; Koyejo, S. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Latombe, J. (PI) ; Lee, C. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Liu, K. (PI) ; Ma, T. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McClelland, J. (PI) ; McKeown, N. (PI) ; Mirhoseini, A. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montanari, A. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Niebles Duque, J. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Paepcke, A. (PI) ; Pande, V. (PI) ; Parlante, N. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Poldrack, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Roughgarden, T. (PI) ; Rubin, D. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Savarese, S. (PI) ; Saxena, A. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Sosic, R. (PI) ; Stamos, A. (PI) ; Subramonyam, H. (PI) ; Tan, L. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Trippel, C. (PI) ; Ullman, J. (PI) ; Valiant, G. (PI) ; Van Roy, B. (PI) ; Vitercik, E. (PI) ; Wang, G. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Winograd, T. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yang, D. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)

CS 191W: Writing Intensive Senior Research Project

Restricted to Computer Science students. Writing-intensive version of CS191. Register using instructor's section number. Prerequisite: Completion of at least 135 units and consent of instructor. Project proposal form is required before the beginning of the quarter of enrollment: https://cs.stanford.edu/degrees/undergrad/Senior%20Project%20Proposal.pdf
Terms: Aut, Win, Spr | Units: 3-6 | Repeatable for credit
Instructors: Achour, S. (PI) ; Agrawala, M. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Barrett, C. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Blikstein, P. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Bouland, A. (PI) ; Boyd, S. (PI) ; Brunskill, E. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Charikar, M. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Demszky, D. (PI) ; Dill, D. (PI) ; Dror, R. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Fogg, B. (PI) ; Fox, A. (PI) ; Fox, E. (PI) ; Genesereth, M. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Guestrin, C. (PI) ; Guibas, L. (PI) ; Haber, N. (PI) ; Hanrahan, P. (PI) ; Hashimoto, T. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Koller, D. (PI) ; Koyejo, S. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Latombe, J. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Liu, K. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McClelland, J. (PI) ; McKeown, N. (PI) ; Mirhoseini, A. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montanari, A. (PI) ; Montgomery, S. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Niebles Duque, J. (PI) ; Okamura, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Paepcke, A. (PI) ; Pande, V. (PI) ; Parlante, N. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Saberi, A. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Savarese, S. (PI) ; Saxena, A. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Stamos, A. (PI) ; Tan, L. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Trippel, C. (PI) ; Ullman, J. (PI) ; Valiant, G. (PI) ; Van Roy, B. (PI) ; Vitercik, E. (PI) ; Wang, G. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Winograd, T. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yang, D. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)

CS 192: Programming Service Project

Restricted to Computer Science students. Appropriate academic credit (without financial support) is given for volunteer computer programming work of public benefit and educational value. Register using the section number associated with the instructor. Prerequisite: consent of instructor.
Terms: Aut, Win, Spr, Sum | Units: 1-4 | Repeatable for credit
Instructors: Achour, S. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Boneh, D. (PI) ; Bouland, A. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Dill, D. (PI) ; Engler, D. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Fogg, B. (PI) ; Fox, A. (PI) ; Genesereth, M. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Gregg, C. (PI) ; Guibas, L. (PI) ; Hanrahan, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Khatib, O. (PI) ; Koller, D. (PI) ; Kozyrakis, C. (PI) ; Lam, M. (PI) ; Latombe, J. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McKeown, N. (PI) ; Mitchell, J. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Parlante, N. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Roughgarden, T. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Ullman, J. (PI) ; Van Roy, B. (PI) ; Widom, J. (PI) ; Winograd, T. (PI) ; Wu, J. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zelenski, J. (PI)

CS 193Q: Introduction to Python Programming

CS193Q teaches basic Python programming with a similar end-condition to CS106AP: strings, lists, numbers, dicts, loops, logic, functions, testings, decomposition and style, and modules. CS193Q assumes knowledge of some programming language, and proceeds by showing how each common programming idea is expressed in Python. CS193Q moves very quickly, meeting 3 times for 4 hours for a total of 12 hours which is a mixture of lecture and lab time.
Terms: Aut | Units: 1
Instructors: Parlante, N. (PI)
Filter Results:
term offered
updating results...
teaching presence
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints