6.042J / 18.062J Mathematics for Computer Science, Spring 2005

6.042J / 18.062J Mathematics for Computer Science, Spring 2005

Show other versions (1)

This course is offered to undergraduates and is an elementary discrete mathematics course oriented towards applications in computer science and engineering. Topics covered include: formal logic notation, induction, sets and relations, permutations and combinations, counting principles, and discrete...

Full description

Bibliographic Details
Main Authors:	Leiserson, Charles, Lehman, Eric, Devadas, Srinivas, Meyer, Albert R.
Other Authors:	Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format:	Learning Object
Language:	en-US
Published:	2005
Subjects:	Elementary discrete mathematics for computer science and engineering mathematical definitions proofs and applicable methods formal logic notation proof methods induction well-ordering sets relations elementary graph theory integer congruences asymptotic notation and growth of functions permutations and combinations counting principles discrete probability recursive definition structural induction state machines and invariants recurrences generating functions 6.042J 6.042 18.062J 18.062
Online Access:	http://hdl.handle.net/1721.1/104427

Similar Items

6.042J / 18.062J Mathematics for Computer Science (SMA 5512), Fall 2002
by: Nagpal, Radhika, et al.
Published: (2002)

6.042J / 18.062J Mathematics for Computer Science, Spring 2010
by: Meyer, Albert R.
Published: (2010)

1.138J / 2.062J / 18.376J Wave Propagation, Fall 2004
by: Akylas, Triantaphyllos R., et al.
Published: (2004)

1.138J / 2.062J Wave Propagation, Fall 2000
by: Mei, Chiang C., et al.
Published: (2000)

2.062J / 1.138J / 18.376J Wave Propagation, Fall 2006
by: Mei, Chiang, et al.
Published: (2017)

18.337J / 6.338J Applied Parallel Computing (SMA 5505), Spring 2005
by: Edelman, Alan
Published: (2005)

18.337J / 6.338J Applied Parallel Computing (SMA 5505), Spring 2003
by: Edelman, Alan
Published: (2003)

6.854J / 18.415J Advanced Algorithms, Fall 2001
by: Goemans, Michel
Published: (2001)

18.404J / 6.840J Theory of Computation, Fall 2002
by: Sipser, Michael
Published: (2002)

STS.042J / 8.225J Einstein, Oppenheimer, Feynman: Physics in the 20th Century, Spring 2011
by: Kaiser, David
Published: (2023)

STS.042J / 8.225J Einstein, Oppenheimer, Feynman: Physics in the 20th Century, Fall 2002
by: Kaiser, David
Published: (2002)

6.045J / 18.400J Automata, Computability, and Complexity, Spring 2005
by: Lynch, Nancy
Published: (2005)

STS.062J / 21A.344J Drugs, Politics, and Culture, Spring 2003
by: Dumit, Joseph
Published: (2003)

6.045J / 18.400J Automata, Computability, and Complexity, Spring 2002
by: Rivest, Ronald L.
Published: (2002)

18.335J / 6.337J Numerical Methods of Applied Mathematics I, Fall 2001
by: Stefanica-Nica, Dan Octavian
Published: (2001)

22.00J / 1.021J / 3.021J / 10.333J / 18.361J / 2.030J / HST.558 Introduction to Modeling and Simulation, Spring 2002
by: Yip, Sidney, et al.
Published: (2002)

Penggunaan Komputer Dalam Penulisan Notasi Muzik Di Kalangan Guru Pelatih Dari Institut Perguruan Sultan Ldris, Tanjung Malim, Perak
by: Abdullah, Mohd Hassan
Published: (1999)

1.203J / 6.281J / 13.665J / 15.073J / 16.76J / ESD.216J Logistical and Transportation Planning Methods, Fall 2001
by: Barnett, Arnold, et al.
Published: (2001)

GATA6 cooperates with EOMES/SMAD2/3 to deploy the gene regulatory network governing human definitive endoderm and pancreas formation
by: Chia, Crystal Y., et al.
Published: (2019)

6.854J / 18.415J Advanced Algorithms, Fall 1999
by: Karger, David
Published: (1999)

22.00J / 1.021J / 2.030J / 3.021J / 10.333J / 18.361J / HST.558J Introduction to Modeling and Simulation, Spring 2006
by: Yip, Sidney, et al.
Published: (2006)

6.046J / 18.410J Introduction to Algorithms, Fall 2001
by: Demaine, Erik D., et al.
Published: (2001)

5.95J / 7.59J / 8.395J / 18.094J Teaching College-Level Science, Spring 2006
by: Breslow, Lori
Published: (2006)

6.021J / 2.791J / 2.794J / 6.521J / BE.370J / BE.470J / HST.541J Quantitative Physiology: Cells and Tissues, Fall 2002
by: Freeman, Dennis M., et al.
Published: (2002)

6.852J / 18.437J Distributed Algorithms, Fall 2001
by: Lynch, Nancy A. (Nancy Ann), 1948-
Published: (2001)

Fairness, rationality and integration : success factors towards a new organizational model
Published: (2005)

Managing new technology and labor relations : an opportunity for mutual influence
Published: (2003)

BE.010J / 2.790J / 6.025J / 7.38J / 10.010J Introduction to Bioengineering, Spring 2005
by: Matsudaira, Paul T., et al.
Published: (2005)

Simplifying transformations for type-alpha certificates
by: Arkoudas, Konstantine
Published: (2004)

18.013A Calculus with Applications, Fall 2001
by: Kleitman, Daniel J.
Published: (2001)

Type-alpha DPLs
by: Arkoudas, Konstantine
Published: (2004)

6.542J / 24.966J / HST.712J Laboratory on the Physiology, Acoustics, and Perception of Speech, Fall 2001
by: Stevens, Kenneth N., 1924-, et al.
Published: (2001)

Duality and sensitivity analysis for fractional programs
Published: (2004)

Role of 18fluorine fluorodeoxyglucose in vulnerable plaque detection for identifying high risk patients
by: Shaharuddin, Shazreen
Published: (2013)

1.203J / 6.281J / 15.073J / 16.76J / ESD.216J Logistical and Transportation Planning Methods, Fall 2004
by: Larson, Richard C., et al.
Published: (2004)

Book history scholarship: creation, transmission of knowledge and archives
by: Ojeda, Danne, et al.
Published: (2018)

The derivation of efficient sets
Published: (2004)

6.251J / 15.081J Introduction to Mathematical Programming, Fall 2002
by: Tsitsiklis, John
Published: (2002)

18.405J / 6.841J Advanced Complexity Theory, Fall 2001
by: Spielman, Daniel
Published: (2001)

Information Theory
by: Elias, Peter
Published: (2010)