http:^^www.cs.cornell.edu^info^courses^fall-95^courses.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 186 行

HTML
186 行
字号 
MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 20:11:11 GMT
Content-Type: text/html
Content-Length: 7699
Last-Modified: Friday, 29-Sep-95 20:09:49 GMT

<HTML><HEAD><TITLE>Cornell CS Course Home Pages Fall 1995 </TITLE></HEAD><BODY><h1>Course Home Pages</h1>These are links to the home pages for a number of CS courses.In many cases there are class notes, problem sets, and other courseinformation available, although they may only be available to registeredmembers of the course.<DL><DT><H2><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS211/cs211.html">	CS211  Computers and Programming</A></H2><DD>Intermediate programming in a high-level language and introduction to computer science.  Topics include program development, proofs of program correctness, program structure, recursion, abstract data types, data structures, and analysis of algorithms.  Pascal is the principal programming language.<DT><H2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS212/CS212_icon.gif">        <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS212/CS212.html">        CS212 Structure and Interpretation of Computer Programs</A></H2><DD>A challenging introduction to programming languages and computerscience.  Topics include recursive and higher-order procedures,performance analysis of algorithms, proofs of program correctness,probabilistic algorithms, symbolic hierarchical data, abstract datatypes, polymorphic functions, object-oriented programming, infinitedata types, simulation, and the interpretation and compilation ofprograms.	<br clear=left><DT><H2><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><IMG align=left width=72 height=79 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS214/gifs/daemon.gif">        <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS214/CS214.html">        CS214 A Taste of Unix&#174; and C</A></H2><DD>        An introduction to Unix operating systems and their        programming environments.  This is a six week course, divided into        two parts.  In the first three weeks, we cover the architecture of        Unix operating systems and the C language at a high level.  The second        three weeks center around a programming project that is intended        to demonstrate the issues of crafting programs in C on Unix.<DT><H2><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS314/CS314_icon.gif">	<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS314/">CS314 Introduction to Digital Systems and		Computer Organization</a></H2><DD>	Web course material includes course info, lecture notes, homeworks, 	project info, and hopefully even lecture videos.	<br>	Topics covered in the course include: representation of	information; machine/assembly languages, in particular PowerPC;	processor organization; interrupts and I/O; memory hierarchies;	combinatorial and sequential circuits; data path and control	unit design; RTL; and microprogramming.	<br clear=left><DT><H2><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">	<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS501/CS401-501.html">	CS401/501 Software Engineering: Technology and Techniques</a></H2><DD>	This course covers the techniques and technologies used in modern	software development.  It involves a good deal of programming	and development experience, and tries to simulate the life of	professional programmers.  Topics include the C++ language,	Object-oriented programming, software design issues, classical	software engineering, and collaborative programming.<DT><H2><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS410/cs410.html">	CS410  Data Structures</A></H2> <DD>	Lists, trees, graphs, arrays, and other forms of data structure and	their implementation.  Relationship between language and data	structure, emphasizing abstract data types.  Dynamic storage	allocation and memory management.  Detailed study of searching and	sorting methods.  Analysis to determine the more efficient algorithm	in a given situation.<DT><H2><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS415/CS415.html">	CS415 Practicum in Operating Systems</A></H2><DD>	The practical aspects of operating systems are studied through 	the design and implementation of an operating system kernel that 	supports multiprogramming, virtual memory, and various input-output 	devices.  All the programming for the project is in a high-level	language.<DT><H2><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS472/cs472.html">	CS472 Foundations of Artificial Intelligence</A></H2><DD>	A challenging introduction to the major subareas and current research	directions in artificial intelligence.  Topics include knowledge	representation, search, problem solving, natural-language processing, 	vision, robotics, logic and deduction, planning, and machine learning.<DT><H2><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><IMG align=left SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS481/greenguy.gif">        <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS481/CS481.html">        CS481 Automata and Computability Theory</a></H2><DD>        An introduction to the modern theory of computing: automata theory,        formal languages, and effective computability.  A faster-moving        and deeper version of CS381.  Credit will not be given for both.        Corrective transfers between CS381 and CS481 are encouraged during        the first few weeks of instruction.<DT><H2><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.cornell.edu/Info/People/tah/cs611.html">        CS611 Advanced Programming Languages</A></H2><DD>	The course introduces and relates the operational, denotational,    	and axiomatic semantics of model programming languages for    	imperative, applicative, algebraic, and logic programming.<DT><H2><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS631/">        CS631 Multimedia Systems</A></H2><DD>	An investigation of the computer science issues related to multimedia	systems.  Topics include: coding and compression, storage systems,	high-speed networking, video/audio processing, user interface issues,	and databases for multimedia.<DT><H2><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS681/CS681.html">        CS681 Analysis of Algorithms</A></H2><DD>	Methodology for developing efficient algorithms, primarily for	graph theoretic problems.  Understanding of the inherent complexity	of natural problems via polynomial-time algorithms, randomized	algorithms, NP-completeness, randomized reducibilities.  Additional	topics such as parallel algorithms and efficient data structures.<DT><H2><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS717/mess-sml.gif">	<!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS717/">CS717 Cool Tools Seminar</a></H2><DD>	This course will survey the latest (and coolest) software and hardware	applications, systems, and tools with an emphasis on practical use of	the tools. Each seminar will present a tutorial style introduction to	one of the topics.	<br clear=left><DT><H2><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="http://www.tc.cornell.edu/Visualization/Education/cs718/">        CS718 Topics in Computer Graphics</A></H2><DD>	Covers advanced topics in computer graphics and applications	of computer graphics to scientific computation.<DT><H2><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">        <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS775/cs775.html">        CS775 Seminar in Natural Language Understanding</A></H2><DD>	Covers current topics in natural language understanding, computational	linguistics, and relevant areas of machine learning.  Meets once a	week for 1-2 hours to present and discuss recent papers in the field	as well as ongoing natural language understanding research in the	department.</DL><H3>Information from previous semesters</H3>Information from previous semesters may be retained for a while, but don't be surprised if certain links don't work.<DL><DT><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-94/courses.html">Fall 1994</A><DT><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-95/courses.html">Spring 1995</A><DT><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="http://www.cs.cornell.edu/Info/Courses/Summer-95/courses.html">Summer 1995</A></DL></BODY></HTML>

http:^^www.cs.cornell.edu^info^courses^fall-95^courses.html - 源码说明

本页面展示了「This data set contains WWW-pages collected from computer science departments of various universities」中的 http:^^www.cs.cornell.edu^info^courses^fall-95^courses.html 源码文件，采用 HTML 编程语言编写，共 186 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与universities相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?