1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
2016-09-16
Aphasia: The disorder that makes you lose your words - Susan Wortman-Jutt
source: TED-Ed 2016年9月15日
View full lesson: http://ed.ted.com/lessons/aphasia-the...
Language is an essential part of our lives that we often take for granted. But, if the delicate web of language networks in your brain became disrupted by stroke, illness, or trauma, you could find yourself truly at a loss for words. Susan Wortman-Jutt details a disorder called aphasia, which can impair all aspects of communication.
Lesson by Susan Wortman-Jutt, animation by TED-Ed.
T. E. Venkata Balaji: Basic Algebraic Geometry: Varieties, Morphisms, Local Rings, Function Fields and Nonsingularity (IIT Madras)
# click the up-left corner to select videos from the playlist
source: nptelhrd 2016年7月11日
Mathematics - Basic Algebraic Geometry: Varieties, Morphisms, Local Rings, Function Fields and Nonsingularity by Dr. T. E. Venkata Balaji, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.ac.in
01 What is Algebraic Geometry? 48:39
02 The Zariski Topology and Affine Space 51:42
03 Going back and forth between subsets and ideals 49:17
04 Irreducibility in the Zariski Topology 53:24
05 Irreducible Closed Subsets Correspond to Ideals Whose Radicals are Prime 54:29
06 Understanding the Zariski Topology on the Affine Line 57:36
07 The Noetherian Decomposition of Affine Algebraic Subsets Into Affine Varieties 1:04:51
08 Topological Dimension, Krull Dimension and Heights of Prime Ideals 55:52
09 The Ring of Polynomial Functions on an Affine Variety 43:44
10 Geometric Hypersurfaces are Precisely Algebraic Hypersurfaces 53:29
11 Why Should We Study Affine Coordinate Rings of Functions on Affine Varieties? 49:07
12 Capturing an Affine Variety Topologically 49:11
13 Analyzing Open Sets and Basic Open Sets for the Zariski Topology 45:20
14 The Ring of Functions on a Basic Open Set in the Zariski Topology 47:17
15 Quasi-Compactness in the Zariski Topology 55:32
16 What is a Global Regular Function on a Quasi-Affine Variety? 55:15
17 Characterizing Affine Varieties 53:29
18 Translating Morphisms into Affines as k-Algebra maps 50:56
19 Morphisms into an Affine Correspond to k-Algebra Homomorphisms 55:01
20 The Coordinate Ring of an Affine Variety 53:24
21 Automorphisms of Affine Spaces and of Polynomial Rings - The Jacobian Conjecture 1:07:11
22 The Various Avatars of Projective n-space 35:49
23 Gluing (n+1) copies of Affine n-Space to Produce Projective n-space in Topology 59:51
24 Translating Projective Geometry into Graded Rings and Homogeneous Ideals 58:28
25 Expanding the Category of Varieties 51:49
26 Translating Homogeneous Localisation into Geometry and Back 51:26
27 Adding a Variable is Undone by Homogenous Localization 44:26
28 Doing Calculus Without Limits in Geometry 52:12
29 The Birth of Local Rings in Geometry and in Algebra 51:56
30 The Formula for the Local Ring at a Point of a Projective Variety 48:28
31 The Field of Rational Functions or Function Field of a Variety 53:17
32 Fields of Rational Functions or Function Fields of Affine and Projective Varieties 55:34
33 Global Regular Functions on Projective Varieties are Simply the Constants 52:16
34 The d-Uple Embedding and the Non-Intrinsic Nature of the Homogeneous Coordinate Ring 58:27
35 The Importance of Local Rings - A Morphism is an Isomorphism 47:43
36 The Importance of Local Rings 47:28
37 Geometric Meaning of Isomorphism of Local Rings 54:01
38 Local Ring Isomorphism, Equals Function Field Isomorphism, Equals Birationality 1:01:27
39 Why Local Rings Provide Calculus Without Limits for Algebraic Geometry Pun Intended! 59:35
40 How Local Rings Detect Smoothness or Nonsingularity in Algebraic Geometry 57:09
41 Any Variety is a Smooth Manifold with or without Non-Smooth Boundary 38:49
42 Any Variety is a Smooth Hypersurface On an Open Dense Subset 43:17
source: nptelhrd 2016年7月11日
Mathematics - Basic Algebraic Geometry: Varieties, Morphisms, Local Rings, Function Fields and Nonsingularity by Dr. T. E. Venkata Balaji, Department of Mathematics, IIT Madras. For more details on NPTEL visit http://nptel.ac.in
01 What is Algebraic Geometry? 48:39
02 The Zariski Topology and Affine Space 51:42
03 Going back and forth between subsets and ideals 49:17
04 Irreducibility in the Zariski Topology 53:24
05 Irreducible Closed Subsets Correspond to Ideals Whose Radicals are Prime 54:29
06 Understanding the Zariski Topology on the Affine Line 57:36
07 The Noetherian Decomposition of Affine Algebraic Subsets Into Affine Varieties 1:04:51
08 Topological Dimension, Krull Dimension and Heights of Prime Ideals 55:52
09 The Ring of Polynomial Functions on an Affine Variety 43:44
10 Geometric Hypersurfaces are Precisely Algebraic Hypersurfaces 53:29
11 Why Should We Study Affine Coordinate Rings of Functions on Affine Varieties? 49:07
12 Capturing an Affine Variety Topologically 49:11
13 Analyzing Open Sets and Basic Open Sets for the Zariski Topology 45:20
14 The Ring of Functions on a Basic Open Set in the Zariski Topology 47:17
15 Quasi-Compactness in the Zariski Topology 55:32
16 What is a Global Regular Function on a Quasi-Affine Variety? 55:15
17 Characterizing Affine Varieties 53:29
18 Translating Morphisms into Affines as k-Algebra maps 50:56
19 Morphisms into an Affine Correspond to k-Algebra Homomorphisms 55:01
20 The Coordinate Ring of an Affine Variety 53:24
21 Automorphisms of Affine Spaces and of Polynomial Rings - The Jacobian Conjecture 1:07:11
22 The Various Avatars of Projective n-space 35:49
23 Gluing (n+1) copies of Affine n-Space to Produce Projective n-space in Topology 59:51
24 Translating Projective Geometry into Graded Rings and Homogeneous Ideals 58:28
25 Expanding the Category of Varieties 51:49
26 Translating Homogeneous Localisation into Geometry and Back 51:26
27 Adding a Variable is Undone by Homogenous Localization 44:26
28 Doing Calculus Without Limits in Geometry 52:12
29 The Birth of Local Rings in Geometry and in Algebra 51:56
30 The Formula for the Local Ring at a Point of a Projective Variety 48:28
31 The Field of Rational Functions or Function Field of a Variety 53:17
32 Fields of Rational Functions or Function Fields of Affine and Projective Varieties 55:34
33 Global Regular Functions on Projective Varieties are Simply the Constants 52:16
34 The d-Uple Embedding and the Non-Intrinsic Nature of the Homogeneous Coordinate Ring 58:27
35 The Importance of Local Rings - A Morphism is an Isomorphism 47:43
36 The Importance of Local Rings 47:28
37 Geometric Meaning of Isomorphism of Local Rings 54:01
38 Local Ring Isomorphism, Equals Function Field Isomorphism, Equals Birationality 1:01:27
39 Why Local Rings Provide Calculus Without Limits for Algebraic Geometry Pun Intended! 59:35
40 How Local Rings Detect Smoothness or Nonsingularity in Algebraic Geometry 57:09
41 Any Variety is a Smooth Manifold with or without Non-Smooth Boundary 38:49
42 Any Variety is a Smooth Hypersurface On an Open Dense Subset 43:17
Nobert Elliot: World Literature I (New Jersey Institute of Technology)
# click the up-left corner to select videos from the playlist
source: Open Assembly 2014年10月29日
Nobert Elliot: NJIT: World Literature I (New Jersey Institute of Technology)
01: Understanding World Literature in a Global Context 28:41
02: Writing About Literature 32:41
03: The Poetry of North America in the 1st Half of the 20th Century 18:54
04: The Poetry of North America in the 2nd Half of the 20th Century 30:56
05: The Study of Toni Morrison's Beloved 17:19
06: Toni Morrison's Beloved (continued) 14:24
07: The Study of Maxine Hong Kingston 18:22
08: The Study of North American Short Fiction 20:38
09: A Discussion About Modern North American Poetry 19:11
10: Gabriel Garcia Martinez: A History of Latin America and the Caribbean 12:55
11: Jorge Luis Borges 10:07
12: Gabriel Garcia Marquez -- Love in the Time of Cholera 17:43
13: A Study of the Works of Jamaica Kinkaid 19:53
14: Nicolas Guillen's Poetry 13:13
15: Spanish Poet Pablo Neruda 12:58
16: Octavio Paz 6:58
17: The Literature of Australian and Aboriginal Culture 21:25
18: Isolation of Australian Literature 12:49
19: Literature of New Zealand 11:52
20: Student Presentations 29:56
21: Student Presentations (continued) 29:45
22: One World of Literature: Closing Thoughts 8:20
source: Open Assembly 2014年10月29日
Nobert Elliot: NJIT: World Literature I (New Jersey Institute of Technology)
01: Understanding World Literature in a Global Context 28:41
02: Writing About Literature 32:41
03: The Poetry of North America in the 1st Half of the 20th Century 18:54
04: The Poetry of North America in the 2nd Half of the 20th Century 30:56
05: The Study of Toni Morrison's Beloved 17:19
06: Toni Morrison's Beloved (continued) 14:24
07: The Study of Maxine Hong Kingston 18:22
08: The Study of North American Short Fiction 20:38
09: A Discussion About Modern North American Poetry 19:11
10: Gabriel Garcia Martinez: A History of Latin America and the Caribbean 12:55
11: Jorge Luis Borges 10:07
12: Gabriel Garcia Marquez -- Love in the Time of Cholera 17:43
13: A Study of the Works of Jamaica Kinkaid 19:53
14: Nicolas Guillen's Poetry 13:13
15: Spanish Poet Pablo Neruda 12:58
16: Octavio Paz 6:58
17: The Literature of Australian and Aboriginal Culture 21:25
18: Isolation of Australian Literature 12:49
19: Literature of New Zealand 11:52
20: Student Presentations 29:56
21: Student Presentations (continued) 29:45
22: One World of Literature: Closing Thoughts 8:20
How Games Move Us: Emotion by Design
source: Stanford 2016年8月2日
From the Interactive Media & Games Seminar Series; Katherine Isbister, Professor of Computational Media, and core faculty in the Center for Games and Playable Media at the University of California, Santa Cruz shares insights from her new book aimed at bridging this gap, toward raising the quality of public conversations about games and their aesthetic power.
Reincarnation, Part Four: Implications, with Walter Semkiw
source: New Thinking Allowed 2015年12月25日
Walter Semkiw, MD, is founder and president of the Institute for the Integration of Science, Intuition, and Spirit. He is author of Born Again, Return of the Revolutionaries: The Case for Reincarnation and Soul Groups Reunited, and Origin of the Soul and the Purpose of Reincarnation.
Here Walter Semkiw and host, Jeffrey Mishlove, discuss in further depth the implications of the notion that Mishlove was William James in a past lifetime. Mishlove points out that he remains skeptical of this identification that was made more than fifteen years ago – and that William James also would have been skeptical. He brings up the work in “artificial reincarnation” by the Russian psychiatrist Vladimir Raikov. Semkiw claims that Raikov’s work is best explained in terms of spirit possession or mediumship. Semkiw argues that, over time, evidence of reincarnation is going to create a new world in which people will understand the futility of harboring hostility to others of different ethnic backgrounds.
New Thinking Allowed host, Jeffrey Mishlove, PhD, is author of The Roots of Consciousness, Psi Development Systems, and The PK Man. Between 1986 and 2002 he hosted and co-produced the original Thinking Allowed public television series. He is the recipient of the only doctoral diploma in "parapsychology" ever awarded by an accredited university (University of California, Berkeley, 1980). He serves as dean of transformational psychology at the University of Philosophical Research. He teaches parapsychology for ministers in training with the Centers for Spiritual Living through the Holmes Institute. He has served as vice-president of the Association for Humanistic Psychology, and is the recipient of its Pathfinder Award for outstanding contributions to the field of human consciousness. He is also past-president of the non-profit Intuition Network, an organization dedicated to creating a world in which all people are encouraged to cultivate and apply their inner, intuitive abilities.
(Recorded on November 22, 2015)
Causes of Belief & Reasons for Belief (H. H. Price in 1963)
source: Philosophical Overdose 2016年8月20日
Professor H. H. Price distinguishes between the causes of belief and the reasons for belief. He then discusses some of the difficulties and complications which arise. H. H. Price was a British philosopher who worked mainly on the philosophy of perception and epistemology.
This talk was given in 1963 as part of the Howison lecture series at the University of California, Berkeley.
Garrett Oliver: "Brooklyn Brewery Brewmaster" | Talks At Google
source: Talks at Google 2016年8月25日
Talks At Google is proud to welcome Garrett Oliver, American brewer and beer author from New York City. Since 1994, he has worked as the brewmaster at the Brooklyn Brewery.
Through the microbrewery panic of the 1990s, into the world-changing craft beer movement of today, Garrett Oliver remains part of the vanguard of American brewing.
He joins us in NYC to discuss American food history from the early 1900s to the present, a journey that takes us from traditional food and drink, through an era of ‘food facsimiles’, and, hopefully, back again.
Sidney Finkelstein: "Superbosses" | Talks at Google
source: Talks at Google 2016年8月9日
In his ninth book, Sydney Finkelstein (Professor of Management at the Tuck School of Business at Dartmouth College and the director of Tuck’s Center for Leadership), analyzes the qualities that are shared by successful leaders who’ve transformed entire industries: they share a common approach to finding, nurturing, leading, and even letting go of great people.
Is Dropping Out of College Throwing Your Life Away? | Ryan Holiday
source: Big Think 2016年8月13日
Media strategist, writer, and college drop-out Ryan Holiday questions whether college is just an expensive way to go through the motions. Holiday's latest book is "Ego Is The Enemy" (http://goo.gl/T5lxKz).
Read more at BigThink.com: http://bigthink.com/videos/ryan-holid...
Transcript - For me going to college was just an assumption that was made and there was no challenging whether – if you're smart and you do well in school you go to college because that's how you're successful life. And I think that's true for a lot of people. And I really liked collage. The decision to drop out was not one that I took lightly and I don't think it's necessarily – I didn't drop out and then figure out what I wanted to do with my life, I had a job offer to be a research assistant to work at a talent agency in Hollywood. I had these offers and I did the math and I said hey if these were my offers the day after graduation I would have considered college a success. So that's why I personally dropped out. And a few years ago I wrote an article about dropping out of college and sort of what that experience was like and how it shaped my life. And the funny or scary thing is that it now ranks really well on Google if you search the phrase dropping out of college. And so I get a lot of emails almost every day at like 2:00 or 3:00 in the morning some kid who's not happy with college comes back to his dorm room, they Google that phrase and then they email me. And a lot of times they want me to tell them that it's okay to drop out of college. And I usually don't, one, because it was such a terrifying decision to make and it was so unpleasant. I mean my parents didn't take it well and it was so hard that I'm not glib about recommending it to other people. But also I think Mark Zuckerberg, again, didn't drop out of college to create Facebook, he created Facebook in college and then he moved to California for the summer and it was doing so well that he decided not to go back. I think Bill Gates' story is similar. Most of the really successful college dropouts used the platform that is going to a university, it's using the status of being a student. They started something and it got going quickly enough that it didn't make sense to continue going to school. Read The Full Transcript Here: http://goo.gl/3sgsVw.
K. Thyagarajan: Quantum Electronics (IIT Delhi)
# playlist of the 42 videos (click the up-left corner of the video)
source: nptelhrd 2012年4月23日
Physics - Quantum Electronics by Prof. K. Thyagarajan, Department of Physics, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-01 Introduction 46:22
Mod-01 Lec-02 Anisotropic Media 53:57
Mod-01 Lec-03 Anisotropic Media (Contd.) 52:46
Mod-01 Lec-04 Anisotropic Media (Contd..) 59:02
Mod-02 Lec-05 Nonlinear optical effects and nonlinear polarization 58:39
Mod-03 Lec-06 Non - Linear Optics (Contd.) 52:04
Mod-03 Lec-07 Non - Linear Optics (Contd..) 56:06
Mod-03 Lec-08 Non - Linear Optics (Contd...) 55:19
Mod-03 Lec-09 Non - Linear Optics (Contd....) 53:07
Mod-03 Lec-10 Non - Linear Optics - Quasi Phase Matching 58:09
Mod-03 Lec-11 Non - Linear Optics 58:52
Mod-03 Lec-12 Non Linear Optics contd 55:56
Mod-03 Lec-13 Non Linear Optics contd. 49:32
Mod-03 Lec-14 Non Linear Optics contd.. 55:08
Mod-03 Lec-15 Non Linear Optics contd... 51:04
Mod-03 Lec-16 Non Linear Optics contd.... 50:54
Mod-03 Lec-17 Non Linear Optics contd..... 58:11
Mod-03 Lec-18 Non Linear Optics contd...... 54:08
Mod-03 Lec-19 Non Linear Optics contd....... 51:03
Mod-04 Lec-20 Third Order Non - Linear Effects 33:00
Mod-04 Lec-21 Third Order Non - Linear Effects(Contd.) 49:53
Mod-04 Lec-22 Third Order Non - Linear Effects(Contd..) 51:15
Mod-04 Lec-23 Third Order Non - Linear Effects(Contd...) 45:17
Mod-05 Lec-24 Review of Quantum Mechanics 50:38
Mod-05 Lec-25 Review of Quantum Mechanics (Contd.) 48:17
Mod-05 Lec-26 Review of Quantum Mechanics (Contd..) 44:38
Mod-05 Lec-27 Quantization of EM Field 48:35
Mod-05 Lec-28 Quantization of EM Field (Contd.) 48:57
Mod-05 Lec-29 Quantization of EM Field (Contd..) 55:06
Mod-05 Lec-30 Quantum States of EM Field 48:58
Mod-05 Lec-31 Quantum States of EM Field (Contd.) 41:20
Mod-05 Lec-32 Quantization of EM Field (Contd...) 40:03
Mod-05 Lec-33 Quantization of EM Field (Contd....) 51:08
Mod-05 Lec-34 Quantization of EM Field (Contd.....) 51:07
Mod-05 Lec-35 Quantization of EM Field (Contd......) 49:50
Mod-05 Lec-36 Quantization of EM Field (Contd.......) 52:02
Mod-05 Lec-37 Beam Splitter 46:45
Mod-05 Lec-38 Beam Splitter (Contd..) 42:23
Mod-05 Lec-39 Beam Splitter and Balanced Homodyning 54:42
Mod-05 Lec-40 Balanced Homodyning 47:39
Mod-05 Lec-41 Quantum Picture of Parametric Down Conversion 49:11
Mod-05 Lec-42 Questions 43:18
source: nptelhrd 2012年4月23日
Physics - Quantum Electronics by Prof. K. Thyagarajan, Department of Physics, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
Mod-01 Lec-01 Introduction 46:22
Mod-01 Lec-02 Anisotropic Media 53:57
Mod-01 Lec-03 Anisotropic Media (Contd.) 52:46
Mod-01 Lec-04 Anisotropic Media (Contd..) 59:02
Mod-02 Lec-05 Nonlinear optical effects and nonlinear polarization 58:39
Mod-03 Lec-06 Non - Linear Optics (Contd.) 52:04
Mod-03 Lec-07 Non - Linear Optics (Contd..) 56:06
Mod-03 Lec-08 Non - Linear Optics (Contd...) 55:19
Mod-03 Lec-09 Non - Linear Optics (Contd....) 53:07
Mod-03 Lec-10 Non - Linear Optics - Quasi Phase Matching 58:09
Mod-03 Lec-11 Non - Linear Optics 58:52
Mod-03 Lec-12 Non Linear Optics contd 55:56
Mod-03 Lec-13 Non Linear Optics contd. 49:32
Mod-03 Lec-14 Non Linear Optics contd.. 55:08
Mod-03 Lec-15 Non Linear Optics contd... 51:04
Mod-03 Lec-16 Non Linear Optics contd.... 50:54
Mod-03 Lec-17 Non Linear Optics contd..... 58:11
Mod-03 Lec-18 Non Linear Optics contd...... 54:08
Mod-03 Lec-19 Non Linear Optics contd....... 51:03
Mod-04 Lec-20 Third Order Non - Linear Effects 33:00
Mod-04 Lec-21 Third Order Non - Linear Effects(Contd.) 49:53
Mod-04 Lec-22 Third Order Non - Linear Effects(Contd..) 51:15
Mod-04 Lec-23 Third Order Non - Linear Effects(Contd...) 45:17
Mod-05 Lec-24 Review of Quantum Mechanics 50:38
Mod-05 Lec-25 Review of Quantum Mechanics (Contd.) 48:17
Mod-05 Lec-26 Review of Quantum Mechanics (Contd..) 44:38
Mod-05 Lec-27 Quantization of EM Field 48:35
Mod-05 Lec-28 Quantization of EM Field (Contd.) 48:57
Mod-05 Lec-29 Quantization of EM Field (Contd..) 55:06
Mod-05 Lec-30 Quantum States of EM Field 48:58
Mod-05 Lec-31 Quantum States of EM Field (Contd.) 41:20
Mod-05 Lec-32 Quantization of EM Field (Contd...) 40:03
Mod-05 Lec-33 Quantization of EM Field (Contd....) 51:08
Mod-05 Lec-34 Quantization of EM Field (Contd.....) 51:07
Mod-05 Lec-35 Quantization of EM Field (Contd......) 49:50
Mod-05 Lec-36 Quantization of EM Field (Contd.......) 52:02
Mod-05 Lec-37 Beam Splitter 46:45
Mod-05 Lec-38 Beam Splitter (Contd..) 42:23
Mod-05 Lec-39 Beam Splitter and Balanced Homodyning 54:42
Mod-05 Lec-40 Balanced Homodyning 47:39
Mod-05 Lec-41 Quantum Picture of Parametric Down Conversion 49:11
Mod-05 Lec-42 Questions 43:18
Logic for CS by S. Arun Kumar (IIT Delhi)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2012年9月3日
Computer - Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
01 Introduction 50:21
02 Propositional Logic Syntax 40:24
03 Semantics of Propositional Logic 37:41
04 Logical and Algebraic Concepts 48:57
05 Identities and Normal forms 50:24
06 Tautology Checking 49:49
07 Propositional Unsatisfiability 53:09
08 Analytic Tableaux 41:17
09 Consistency and Completeness 54:08
10 The Completeness Theorem 52:39
11 Maximally Consistent Sets 51:20
12 Formal Theories 56:56
13 Proof Theory: Hilbert-style 56:44
14 Derived Rules 54:19
15 The Hilbert System: Soundness 49:31
16 The Hilbert System :Completeness 32:06
17 Introduction to Predicate Logic 51:38
18 The Semantic of Predicate Logic 50:32
19 Subsitutions 46:46
20 Models 53:07
21 Structures and Substructures 43:43
22 First - Order Theories 55:51
23 Predicate Logic: Proof Theory (Contd..) 52:28
24 Existential Quantification 57:44
25 Normal Forms 46:26
26 Skalemization 59:41
27 Substitutions and Instantiations 49:15
28 Unification 50:08
29 Resolution in FOL 58:18
30 More on Resolution in FOL 46:33
31 Resolution : Soundness and Completeness 49:32
32 Resolution and Tableaux 54:14
33 Completeness of Tableaux Method 37:31
34 Completeness of the Hilbert System 51:04
35 First -Order Theories 59:16
36 Towards Logic Programming 58:50
37 Verification of Imperative Programs 54:31
38 Verification of WHILE Programs 55:20
39 References 53:16
source: nptelhrd 2012年9月3日
Computer - Logic for CS by Dr. S. Arun Kumar, Department of Computer Science and Engineering, IIT Delhi. For more details on NPTEL visit http://nptel.iitm.ac.in
01 Introduction 50:21
02 Propositional Logic Syntax 40:24
03 Semantics of Propositional Logic 37:41
04 Logical and Algebraic Concepts 48:57
05 Identities and Normal forms 50:24
06 Tautology Checking 49:49
07 Propositional Unsatisfiability 53:09
08 Analytic Tableaux 41:17
09 Consistency and Completeness 54:08
10 The Completeness Theorem 52:39
11 Maximally Consistent Sets 51:20
12 Formal Theories 56:56
13 Proof Theory: Hilbert-style 56:44
14 Derived Rules 54:19
15 The Hilbert System: Soundness 49:31
16 The Hilbert System :Completeness 32:06
17 Introduction to Predicate Logic 51:38
18 The Semantic of Predicate Logic 50:32
19 Subsitutions 46:46
20 Models 53:07
21 Structures and Substructures 43:43
22 First - Order Theories 55:51
23 Predicate Logic: Proof Theory (Contd..) 52:28
24 Existential Quantification 57:44
25 Normal Forms 46:26
26 Skalemization 59:41
27 Substitutions and Instantiations 49:15
28 Unification 50:08
29 Resolution in FOL 58:18
30 More on Resolution in FOL 46:33
31 Resolution : Soundness and Completeness 49:32
32 Resolution and Tableaux 54:14
33 Completeness of Tableaux Method 37:31
34 Completeness of the Hilbert System 51:04
35 First -Order Theories 59:16
36 Towards Logic Programming 58:50
37 Verification of Imperative Programs 54:31
38 Verification of WHILE Programs 55:20
39 References 53:16
Principles of Programming Languages by S. Arun Kumar (IIT Delhi)
# click the upper-left icon to select videos from the playlist
source: nptelhrd 2008年9月21日
Computer Sc - Principles of Programming Languages by Dr. S. Arun Kumar, Department of Computer Science & Engineering, IIT Delhi.
Lecture - 1 Introduction to programming languages 50:12
Lecture - 2 Syntax 52:28
Lecture - 3 Grammars 50:48
Lecture - 4 Ambiguity 51:39
Lecture - 5 PLO:Syntax 54:18
Lecture - 6 Semantics 54:51
Lecture -7 Syntactic Classes 48:46
Lecture -8 Transition Systems 50:54
Lecture - 9 PL0 : Expressions 53:03
Lecture - 10 Binding 58:00
Lecture -11 Environments 51:30
Lecture -12 Declarations 54:57
Lecture -13 Commands 53:28
Lecture -14 Stores 54:36
Lecture -15 Summary 31:40
Lecture -16 Declarations and Commands 47:28
Lecture -17 Blocks 48:31
Lecture -18 Qualification 51:19
Lecture -19 Pragmatics 49:36
Lecture -20 Data 53:13
Lecture -21 Structured Data 48:50
Lecture - 22 Sequences 54:02
Lecture - 23 Control 56:42
Lecture - 24 Non- Determinacy 54:27
Lecture - 25 Programming Languages 53:44
Lecture - 26 Programming Languages 50:16
Lecture - 27 Programming Languages 46:30
Lecture - 28 Data as Functions 52:02
Lecture - 29 Data and Fixpoints 54:20
Lecture - 30 Normal Forms 56:52
Lecture - 31 Programming Languages 55:01
Lecture - 32 Monomorphism 58:05
Lecture - 33 Polymorphism 56:00
Lecture - 34 Type Checking 53:12
Lecture - 35 Contexts 53:50
Lecture - 36 Abstracts 57:28
Lecture - 37 Procedures 54:13
Lecture - 38 Meanings 55:09
Lecture - 39 Parameters 58:14
Lecture - 40 The Future 52:35
source: nptelhrd 2008年9月21日
Computer Sc - Principles of Programming Languages by Dr. S. Arun Kumar, Department of Computer Science & Engineering, IIT Delhi.
Lecture - 1 Introduction to programming languages 50:12
Lecture - 2 Syntax 52:28
Lecture - 3 Grammars 50:48
Lecture - 4 Ambiguity 51:39
Lecture - 5 PLO:Syntax 54:18
Lecture - 6 Semantics 54:51
Lecture -7 Syntactic Classes 48:46
Lecture -8 Transition Systems 50:54
Lecture - 9 PL0 : Expressions 53:03
Lecture - 10 Binding 58:00
Lecture -11 Environments 51:30
Lecture -12 Declarations 54:57
Lecture -13 Commands 53:28
Lecture -14 Stores 54:36
Lecture -15 Summary 31:40
Lecture -16 Declarations and Commands 47:28
Lecture -17 Blocks 48:31
Lecture -18 Qualification 51:19
Lecture -19 Pragmatics 49:36
Lecture -20 Data 53:13
Lecture -21 Structured Data 48:50
Lecture - 22 Sequences 54:02
Lecture - 23 Control 56:42
Lecture - 24 Non- Determinacy 54:27
Lecture - 25 Programming Languages 53:44
Lecture - 26 Programming Languages 50:16
Lecture - 27 Programming Languages 46:30
Lecture - 28 Data as Functions 52:02
Lecture - 29 Data and Fixpoints 54:20
Lecture - 30 Normal Forms 56:52
Lecture - 31 Programming Languages 55:01
Lecture - 32 Monomorphism 58:05
Lecture - 33 Polymorphism 56:00
Lecture - 34 Type Checking 53:12
Lecture - 35 Contexts 53:50
Lecture - 36 Abstracts 57:28
Lecture - 37 Procedures 54:13
Lecture - 38 Meanings 55:09
Lecture - 39 Parameters 58:14
Lecture - 40 The Future 52:35
Subscribe to:
Posts (Atom)