211 results found in 7 ms.
Page 1 of 14 next
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course provides a challenging introduction to some of the central ideas of theoretical computer science. It attempts to present a vision of "computer science beyond computers": that is, CS as a set of mathematical tools for understanding complex systems such as universes and minds. Beginning in antiquity—with Euclid's algorithm and oth
Author(s):
Tag(s):
- electrical engineering and computer science
- computer science
- theoretical computer science
- logic
- turing machines
- computability
- finite automata
- godel
- complexity
- polynomial time
- efficient algorithms
- reducibility
- p and np
- np completeness
- private key cryptography
- public key cryptography
- pac learning
- quantum computing
- quantum algorithms
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
6.374 examines the device and circuit level optimization of digital building blocks. Topics covered include: MOS device models including Deep Sub-Micron effects; circuit design styles for logic, arithmetic and sequential blocks; estimation and minimization of energy consumption; interconnect models and parasitics; device sizing and logical
Author(s):
Tag(s):
- electrical engineering and computer science
- digital integrated circuit
- device
- circuit
- digital
- mos
- digital integrated circuit
- device
- circuit
- digital
- mos
- deep sub-micron effects
- circuit design
- logic
- interconnect models; parasitics
- device sizing
- timing
- clock skew
- jitter; clock distribution techniques
- memory architectures
- circuits
- sense amplifiers
- spice
- hspice
- magi
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course focuses on the study of problems concerning our concept of knowledge, our knowledge of the past, our knowledge of the thoughts and feelings of ourselves and others, and our knowledge of the existence and properties of physical objects in our immediate environment.
Author(s):
Tag(s):
- linguistics and philosophy
- philosophy
- knowledge
- belief
- foundationalism
- reliabilism
- epistemology
- ontology
- theory
- reliable
- thoughts
- feelings
- existence
- objects
- properties
- physical
- noumenal
- environment
- partial
- external
- world
- skepticism
- empirical
- a priori
- truth
- justified
- justification
- true
- false
- probability
- externalist
- logic
- decision
- choice
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course is an introduction to the philosophy of language. It examines different views on the nature of meaning, truth and reference, with special focus on the problem of understanding how linguistic communication works.
Author(s):
Tag(s):
- linguistics and philosophy
- nature of meaning
- reference
- truth
- and their relationships
- relationships between language and logic
- language and knowledge
- language and reality
- language and acts performed through its use
- logic
- linguistics
- language
- philosophy
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
An intensive seminar on the foundations of analytic philosophy for first-year graduate students. A large selection of classic texts, from Frege's Foundations of Arithmetic to Wittgenstein's Philosophical Investigations, is covered in this course.
Author(s):
Tag(s):
- linguistics and philosophy
- philosophy
- frege
- russell
- wittgenstein
- moore
- ayer
- tarski
- austin
- analytic philosophy
- truth
- language
- logic
- logical positivism
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
The objective of the graduate-level course is to give people a sense of what "accounting for vagueness" is all about, why it's hard, and why it's important. This will involve surveying some prominent accounts of vagueness.
Author(s):
Tag(s):
- linguistics and philosophy
- vagueness
- sorites paradox
- truth
- supervaluationism
- epistemicism
- contextualism
- nihilism
- relativism
- logical revisionism
- interdeterminacy
- language
- inexact knowledge
- logic
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course is the second of the three parts of our graduate introduction to semantics. The others are 24.970 Introduction to Semantics and 24.954 Pragmatics in Linguistic Theory. Like the other courses, this one is not meant as an overview of the field and its current developments. Our aim is to help you to develop the ability for semantic
Author(s):
Tag(s):
- linguistics and philosophy
- semantics
- logic
- meaning
- syntactic systems
- generative grammar
- displacement
- intensional semantics
- hintikka's idea
- accessibility relations
- modality
- quantificational theory of modality
- material implication analysis
- strict implication analysis
- tense
- conditionals
- progressive
- perfect
- de re
- de dicto
- raised subjects
- scope paradox
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course focuses on one particular aspect of the history of computing: the use of the computer as a scientific instrument. The electronic digital computer was invented to do science, and its applications range from physics to mathematics to biology to the humanities. What has been the impact of computing on the practice of science? Is th
Author(s):
Tag(s):
- science technology and society
- computers
- history
- digital
- scientific instrument
- applied science
- meteorology
- nuclear physics
- logic
- mathematics
- cognitive psychology
- biochemistry
- aerospace
- medicine
- supercomputing
- distributed computing
- linguistics
- humanities
- hypertext
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
Western philosophy and theoretical mathematics were born together, and the cross-fertilization of ideas in the two disciplines was continuously acknowledged throughout antiquity. In this course, we read works of ancient Greek philosophy and mathematics, and investigate the way in which ideas of definition, reason, argument and proof, rationality and irrationality, number, quality and quantity, truth, and even the idea of an idea were shaped by the interplay of philosophic and mathematical inquiry.
Author(s):
Tag(s):
- special programs
- mathematics
- geometry
- history
- philosophy
- greek philosophy
- plato
- euclid
- aristotle
- rene descartes
- nicomachus
- francis bacon
- number
- irrational number
- ratio
- ethics
- logos
- logic
- ancient knowing
- modern knowing
- greek conception of number
- idea of number
- courage
- justice
- pursuit of truth
- truth as a surd
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course develops logical, empirically based arguments using statistical techniques and analytic methods. Elementary statistics, probability, and other types of quantitative reasoning useful for description, estimation, comparison, and explanation are covered. Emphasis is on the use and limitations of analytical techniques in planning practice.
Author(s):
Tag(s):
- urban studies and planning
- statistics
- statistical methods
- quantitative reasoning
- variability
- numeracy
- measurement
- stata
- logic
- probability
- inferential statistics
- regression
- census
- bivariate
- multivariate
- normal curve
- research design
- decision tree
- utility
- planning
- distribution
- city planning
- scatterplot
File: teaching.pdf
This OER is part of OCW: Great Ideas in Theoretical Computer Science
Published under: /Syllabus
Share in:
OCW Authors:
Inherited Tag(s):
- electrical engineering and computer science
- computer science
- theoretical computer science
- logic
- turing machines
- computability
- finite automata
- godel
- complexity
- polynomial time
- efficient algorithms
- reducibility
- p and np
- np completeness
- private key cryptography
- public key cryptography
- pac learning
- quantum computing
- quantum algorithms
File: 6-080-spring-2008.zip
This OER is part of OCW: Great Ideas in Theoretical Computer Science
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- computer science
- theoretical computer science
- logic
- turing machines
- computability
- finite automata
- godel
- complexity
- polynomial time
- efficient algorithms
- reducibility
- p and np
- np completeness
- private key cryptography
- public key cryptography
- pac learning
- quantum computing
- quantum algorithms
File: 6-374-fall-2003.zip
This OER is part of OCW: Analysis and Design of Digital Integrated Circuits
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- electrical engineering and computer science
- digital integrated circuit
- device
- circuit
- digital
- mos
- digital integrated circuit
- device
- circuit
- digital
- mos
- deep sub-micron effects
- circuit design
- logic
- interconnect models; parasitics
- device sizing
- timing
- clock skew
- jitter; clock distribution techniques
- memory architectures
- circuits
- sense amplifiers
- spice
- hspice
- magi
File: 24-400-fall-2003.zip
This OER is part of OCW: Proseminar in Philosophy I
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- philosophy
- frege
- russell
- wittgenstein
- moore
- ayer
- tarski
- austin
- analytic philosophy
- truth
- language
- logic
- logical positivism
File: 24-211-fall-2003.zip
This OER is part of OCW: Theory of Knowledge
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- philosophy
- knowledge
- belief
- foundationalism
- reliabilism
- epistemology
- ontology
- theory
- reliable
- thoughts
- feelings
- existence
- objects
- properties
- physical
- noumenal
- environment
- partial
- external
- world
- skepticism
- empirical
- a priori
- truth
- justified
- justification
- true
- false
- probability
- externalist
- logic
- decision
- choice
File: 24-251-spring-2006.zip
This OER is part of OCW: Introduction to Philosophy of Language
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- nature of meaning
- reference
- truth
- and their relationships
- relationships between language and logic
- language and knowledge
- language and reality
- language and acts performed through its use
- logic
- linguistics
- language
- philosophy
211 results found.
Page 1 of 14 next