Mathematical writing (CS 209) : lectures, 1987.


Mathematical writing (CS 209) : lectures, 1987.

Video taped lectures from Knuth's computer science course Mathematical Writing, given in the fall of 1987; guest lecturers were Herb Wilf, Jeff Ullman, Leslie Lamport, Nils Nilsson, Mary-Claire van Leunen, Rosalie Stemer, and Paul Halmos.

30 videocassettes: col; VHS.

Related Entities

There are 9 Entities related to this resource.

Knuth, Donald Ervin, 1938-.... (person)

Professor of computer science at Stanford University. From the description of Mathematical writing (CS 209) : lectures, 1987. (Unknown). WorldCat record id: 122354419 From the description of 3:16 BIBLE TEXTS ILLUMINATED production records, 1978-1996 (inclusive), 1985-1996 (bulk). (Unknown). WorldCat record id: 122398500 Professor of computer science at Stanford University, Donald Ervin Knuth was born in 1938 in Milwaukee, Wisconsin. He received a B.S. from Case Inst...

Van Leunen, Mary-Claire (person)

Wilf, Herbert S., 1931-2012 (person)

Halmos, Paul R. (Paul Richard), 1916-2006 (person)

Paul Richard Halmos (1916-2006) is known for his work in operator theory, ergodic theory, and functional analysis, as well as his mathematical exposition and his teaching style. His major teaching positions were at the University of Chicago (1946-1960), the University of Michigan (1961-1967), Indiana University (1969-1985), and Santa Clara University (1985-1996), where he was Professor Emeritus until his death in 2006. Halmos was born March 3, 1916, in Budapest, Hungary....

Ullman, Jeffrey D., 1942- (person)

Nilsson, Nils J., 1933-.... (person)

Nils J. Nilsson, Kumagai Professor of Engineering (Emeritus) in the Department of Computer Science at Stanford University, received his PhD degree in Electrical Engineering from Stanford in 1958. After twenty-three years at the Artificial Intelligence Center of SRI International, he returned to Stanford in 1985 as the Chairman of the Department of Computer Science, a position he held until August 1990. Besides teaching courses on artificial intelligence and on machine learning, he has conducted ...

Stanford University. Computer Science Dept. (corporateBody)

Lamport, Leslie, 1924-.... (person)

Stemer, Rosalie. (person)