1 - 6 of 6 results for: PHIL150

Project-oriented class focused on developing systems and algorithms for robust machine understanding of human language. Draws on theoretical concepts from linguistics, natural language processing, and machine learning. Topics include lexical semantics, distributed representations of meaning, relation extraction, semantic parsing, sentiment analysis, and dialogue agents, with special lectures on developing projects, presenting research results, and making connections with industry. Prerequisites: one of LINGUIST 180, CS 124, CS 224N, CS224S, or CS221; and logical/semantics such as LINGUIST 130A or B, CS 157, or PHIL150

Project-oriented class focused on developing systems and algorithms for robust machine understanding of human language. Draws on theoretical concepts from linguistics, natural language processing, and machine learning. Topics include lexical semantics, distributed representations of meaning, relation extraction, semantic parsing, sentiment analysis, and dialogue agents, with special lectures on developing projects, presenting research results, and making connections with industry. Prerequisites: one of LINGUIST 180, CS 124, CS 224N, CS224S, or CS221; and logical/semantics such as LINGUIST 130A or B, CS 157, or PHIL150

Project-oriented class focused on developing systems and algorithms for robust machine understanding of human language. Draws on theoretical concepts from linguistics, natural language processing, and machine learning. Topics include lexical semantics, distributed representations of meaning, relation extraction, semantic parsing, sentiment analysis, and dialogue agents, with special lectures on developing projects, presenting research results, and making connections with industry. Prerequisites: one of LINGUIST 180, CS 124, CS 224N, CS224S, or CS221; and logical/semantics such as LINGUIST 130A or B, CS 157, or PHIL150

An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields.

Mathematics is a very peculiar human activity. It delivers a type of knowledge that is particularly stable, often conceived as a priori and necessary. Moreover, this knowledge is about abstract entities, which seem to have no connection to us, spatio-temporal creatures, and yet it plays a crucial role in our scientific endeavors. Many philosophical questions emerge naturally: What is the nature of mathematical objects? How can we learn anything about them? Where does the stability of mathematics comes from? What is the significance of results showing the limits of such knowledge, such as Gödel's incompleteness theorem? The first part of the course will survey traditional approaches to philosophy of mathematics ("the big Isms") and consider the viability of their answers to some of the previous questions: logicism, intuitionism, Hilbert's program, empiricism, fictionalism, and structuralism. The second part will focus on philosophical issues emerging from the actual practice of mathematics. We will tackle questions such as: Why do mathematicians re-prove the same theorems? What is the role of visualization in mathematics? How can mathematical knowledge be effective in natural science? To conclude, we will explore the aesthetic dimension of mathematics, focusing on mathematical beauty. Prerequisite: PHIL150 or consent of instructor.