Artificial Intelligence Lecture 1
|
|
- Joleen Norman
- 6 years ago
- Views:
Transcription
1 Artificial Intelligence Lecture 1
2 istrative Matters Webpage: Examiner: Mathias Broxvall Assistant: Lia Susana d.c. Silva Lopez Schedule 20 hours/week on this course. 4 hours lectures, and ~4 hours preparations for lectures Read slides from previous lectures. Read course book. Prepare questions. Think! Discuss! 3 hours assisted labs (Thursdays ) 9 hours left Prepare for labs. Read instructions, make designs, lookup functions.. Labs on your own time. You must be able to debug your own code! 2
3 istrative Matters Course book: Alison Cawsey, The essence of Artificial Intelligence Recommended reading: (Python) 1.Zelle, Python Programming (AI) 1.Russel, Norvig, Artificial Intelligence a modern approach. 2.Rich, Knight, Artificial Intelligence, 2:nd ed. 3. Internet there much high quality free material available. 3
4 What is Artificial Intelligence? Artificial: Not natural or real, made by the art of man Intelligence: 1) The power of perceiving, learning, understanding and knowing; mental ability. 2) News, information. (Oxford Advanced Learners Dictionary of Current English) Artificial Intelligence is the design and study of computer programs that behave intelligently. (Dean, Allen.) The branch of computer science that is concerned with the automation of intelligent behavior. (Luger, Stubblefield) Artificial Intelligence is the art of making computers work the way they do in the movies. (Unknown) 4
5 What is Artificial Intelligence? AI as a broad field involving research in numerous other areas Computer Science Psychology Neuroscience Linguistics Philosophy 5
6 What is Artificial Intelligence Weak AI: Machines can be made to act as if they were intelligent. Ex: Eliza, A.L.I.C.E, expertsystems etc. Strong AI: Machines that act intelligently have real, conscious minds. Ex: human-like AI, the movie A.I. etc. non-human-like HAL in the movie
7 What is Artificial Intelligence? Even if we make the great AI Machine, how do we test if it can think? The Turing test: First described by Alan Turing, If an impartial judge communicating with a human and/or with a computer both attempting to pass as a human and he cannot see the difference between them, then the machine passes the turing test. The Chinese room: Thought experiment by John Searly (1980) debunking strong AI and the Turing test. The Loebner price competition: The Loebner Prize is an annual competition that awards prizes to the Chatterbot considered the most humanlike for that year. The format of the competition is much like that of a standard Turing test. (wikipedia) 7
8 What is Artificial Intelligence? 8
9 What is Artificial Intelligence? 9
10 What is Artificial Intelligence? 10
11 What is Artificial Intelligence? 11
12 What is Artificial Intelligence In this course AI looks a bit different.. 12
13 Course contents Search Expert Systems Natural Language Processing Machine Learning Knowledge Representation and Inference Agents and Robotics Laboratory exercises Search, Game playing, Neural networks
14 What is Artificial Intelligence? But you can still do some cool things. The water jug problem: Suppose you are given 1 jug (3L) and 1 jug (4L). You also have a tap With which you can fill the jugs. Goal: Get exactly 2L in the 4L jug. 4L 3L 14
15 Representation From AI admirers to AI programmers. Step 1: Represent the problem so that it is computerfriendly. Step 2: Code the problem in a programming language. Step 3: Develop/code an algorithm to find a solution. Step 4: Represent the solution so that it is humanfriendly. 15
16 Representation Step 1: Representing the problem for a machine. We represent the amount of water in the jugs with (X,Y) 1.(X,Y) > (4,Y) Fill the 4 liter jug. 2.(X,Y) > (X,3) Fill the 3 liter jug. 3.(X,Y) > (0,Y) Empty the four liter jug 4.(X,Y) if X+Y >= 4 and Y > 0 > (4,Y (4 X)) Fill the 4 liter jug with water from the 3 liter jug. 16
17 Representation 17
18 (4,2) (0,2) (2,0) 18
19 Starting with Python Python is a object oriented, functional,interpretative and incremental programming language. Object oriented: it has classes / methods etc. Interpretative: It it not compiled but interpretative during run-time. (Some Just In Time compilation done) Incremental: You can mix development and test running, just enter functions as the commandline. Simplifies development. Functional: Functions are objects that can be manipulated like everything else. Gives a lot of power, especially for AI applications 19
20 Python Integers, Strings, Lists, Tuples, Dictionaries 42 foo 'foo' [1,2,3] [[1,2],[3,4] (1,2) { foo : 42} List operations X[0] = 3 ; Y[1] = [1,2,3] ; Y[1][1] = 2 ; Z[-1] Slices X[0:2] = [1], X[1:] ; X[-1] Function definitions and conditionals def abs(x): if x > 0: else: return x return x Python is sensitive to indentation level! 20
21 def fac(n): res=1 for i in range(2,n+1): res=res*i return res def fac2(n): if n==1: return 1 else: return n*fac2(n 1) 21
22 General idea of recursion Make the program work for a base case (eg. N=1) For complex cases, decompose into simpler cases and call yourself (eg. fac(n) = N*fac(N-1) for N>1) This is similar to the idea of PROOF BY INDUCTION Prove that the base-case is true Prove that the recursive cases are true 22
23 How can we come up with a recursive algorithm? First, find the simplest trivial cases for which you know the answer immediately. Eg. Check if an element is part of a list: Base case 1) The element occurs first in the list (return True) Base case 2) The list is empty (return False) Figure out how to solve all other cases by calling yourself Eg. Check if an element is part of a list Recursive case 1) If neither case 1 or 2 holds then call yourself recursively on the rest of the list and return that answer 23
24 How can we come up with a recursive algorithm? Example: make a list flat moving the content of all sublist into the main list Base case 1: The list is empty return empty list Recursive case 1: The first element is not a list return this element appended in front of the result of flattening the rest of the list Recursive case 2: The first element is list flatten the first element and append the result to what you get by flattening the rest of the list 24
25 a more advanced example Flattening a list def flatten(l): if L==[]: return [] elif isinstance(l[0],list): return flatten(l[0])+flatten(l[1:]) else: return L[:1]+flatten(L[1:]) >>> flatten([1,[2,3],4]) [1,2,3,4] 25
26 Why is recursion important for AI? Many AI problems can be solved with recursive algorithms. Different cases can correspond to the different choices of the AI algorithm Eg. in the water jug problem: A base case is if we found the solution. Recursive case(s): one for each possible action that can be done. See if the recursive call found the solution, otherwise try the next possible action. Nb. we have to avoid infinite recursion! 26
27 Exercise Create a function that sums all numbers contained in a list, or inside lists inside that list, or inside lists inside lists inside lists... >>> mysum([1,2,3]) 6 >>> mysum([[1,2],[3,[4]]]) 10 27
28 Computational complexity Big O notation Ignores constant values, concentrate on the cost in terms of parameters of the problem. Shows the worst case growth, especially for large n. O(1) = O(2) etc. O(n) = O(2n) O(n + 3n 2 ) = O(n 2 ) O(2 n )!= O(3 n ) etc. Ordo complexity of a problem. eg: O(n 2 ) Complexity of the best known algorithm solving the problem Lower bound complexity of a problem. eg: (n) Proven lower bound for all algorithms solving the problem 28
29 Computational complexity: examples for i in range(0,n): some constant cost function O(n) for i in range(0,n): for j in range(0,n): some constant cost function O(n 2 ) for i in range(0,n): for j in range(0,i): some constant cost function O(n 2 ) 29
30 Computational complexity: examples for i in range(0,7*n*n): some constant cost function O(n 2 ) for i in range(0,pow(2,n)): some constant cost function O(2 n ) for i in range(0,pow(3,n)): for j in range(0,5): some constant cost function O(3 n ) 30
31 Computational Complexity What is the computational complexity of the following function: def f(n): if N==1: return 1 else return f(n-1) + f(n-1) 31
32 Categorization of complexity of problems Polynomial: can be solved in polynomial time with respect to the size of the input. constant time O(1): eg. hash table lookup linear time O(n): eg. checking if element in list logarithmic time O(log(n)): eg. checking if element is present in a sorted list O(n*log(n)): eg. sorting a list Exponential: O(2 n ): eg. satisfiability problem Determines if a boolean formula is true for atleast one assignment of variables 32
33 Classes of complexity P: Polynomial time NP: plus all problems for which the best algorithm found up to now is exponential, but the solution can be verified in polynomial time. NP-complete: sub-class of NP of specially important (and difficult) problems. If one could find an algorithm that solves a problem in the NP-complete class in polynomial time, it would be possible to solve all the problems in NP in polynomial time Holy grail of computer science: NP = P??? 33
34 Higher order functions Functions are objects like anything else! >>> fac <function fac at 0xb75e36bc> def myapply(f,l): if L!=[]: print F(L[0]) myapply(f,l[1:]) >>>myapply(fac,[1,2,3])
35 Church's calculus Mathematical framework for describing computation Created in the 1930's Pythons 'lambda' inspired by this calculus Creates an unnamed (anonymous) function >>> lambda x: x+2 <function <lambda> at 0xb6f12764> >>> myapply(lambda x: x+2, [1,2,3])
36 Built-in higher order functions Higher order functions Functions that accept other functions as arguments >>> map(fac,[1,2,3]) [1, 2, 6] >>> filter(lambda x: x>1, [1,2,3]) [2, 3] >>> all(map(lambda x: x>1, [1,2,3])) False >>> any(map(lambda x: x>1, [1,2,3])) True >>> sorted([[1,2], [3], [4,5,6]],lambda x,y: len(x) len(y)) [[3], [1,2], [4,5,6]] 36
37 Generators >>> [ fac(x) for x in range(1,5) ] [1, 2, 6, 24] >>> [ fac(x) for x in range(1,10) if x%2 == 0 ] [2, 24, 720, 40320] >>> [(x,y) for x in range(1,4) for y in range(1,4) if x>y] [(1, 0), (2, 0), (2, 1), (3, 0), (3, 1), (3, 2)] 37
Artificial Intelligence Lecture 1
Artificial Intelligence Lecture 1 istrative Matters Webpage: www.aass.oru.se/~ali/ai2008 Teacher: Amy Loutfi Hours: Fridays 10 12 Lab Assistant: Marcello Cirillo 2 istrative Matters Course book: Alison
More informationArtificial Intelligence A Primer for the Labs
Artificial Intelligence A Primer for the Labs Mathias Broxvall, Lia Susana d.c. Silva Lopez, November 2011 Chapter 1 General python instructions This document contains a quick primer for using Python
More informationMidterm CSE 21 Spring 2012
Signature Name Student ID Midterm CSE 21 Spring 2012 Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 _ (20 points) _ (15 points) _ (13 points) _ (23 points) _ (10 points) _ (8 points) Total _ (89 points) (84
More informationWelcome to CS61A! Last modified: Thu Jan 23 03:58: CS61A: Lecture #1 1
Welcome to CS61A! This is a course about programming, which is the art and science of constructing artifacts ( programs ) that perform computations or interact with the physical world. To do this, we have
More informationIntroduction. chapter Functions
chapter 1 Introduction In this chapter we set the stage for the rest of the book. We start by reviewing the notion of a function, then introduce the concept of functional programming, summarise the main
More informationLecture 5: The Halting Problem. Michael Beeson
Lecture 5: The Halting Problem Michael Beeson Historical situation in 1930 The diagonal method appears to offer a way to extend just about any definition of computable. It appeared in the 1920s that it
More informationCSC236 Week 5. Larry Zhang
CSC236 Week 5 Larry Zhang 1 Logistics Test 1 after lecture Location : IB110 (Last names A-S), IB 150 (Last names T-Z) Length of test: 50 minutes If you do really well... 2 Recap We learned two types of
More informationPython review. 1 Python basics. References. CS 234 Naomi Nishimura
Python review CS 234 Naomi Nishimura The sections below indicate Python material, the degree to which it will be used in the course, and various resources you can use to review the material. You are not
More informationINF4820: Algorithms for Artificial Intelligence and Natural Language Processing. Common Lisp Fundamentals
INF4820: Algorithms for Artificial Intelligence and Natural Language Processing Common Lisp Fundamentals Stephan Oepen & Murhaf Fares Language Technology Group (LTG) August 30, 2017 Last Week: What is
More information/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Priority Queues / Heaps Date: 9/27/17
01.433/33 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Priority Queues / Heaps Date: 9/2/1.1 Introduction In this lecture we ll talk about a useful abstraction, priority queues, which are
More informationCS61A Lecture 38. Robert Huang UC Berkeley April 17, 2013
CS61A Lecture 38 Robert Huang UC Berkeley April 17, 2013 Announcements HW12 due Wednesday Scheme project, contest out Review: Program Generator A computer program is just a sequence of bits It is possible
More informationLecture Notes for Chapter 2: Getting Started
Instant download and all chapters Instructor's Manual Introduction To Algorithms 2nd Edition Thomas H. Cormen, Clara Lee, Erica Lin https://testbankdata.com/download/instructors-manual-introduction-algorithms-2ndedition-thomas-h-cormen-clara-lee-erica-lin/
More information(Refer Slide Time: 1:27)
Data Structures and Algorithms Dr. Naveen Garg Department of Computer Science and Engineering Indian Institute of Technology, Delhi Lecture 1 Introduction to Data Structures and Algorithms Welcome to data
More informationLECTURE 16. Functional Programming
LECTURE 16 Functional Programming WHAT IS FUNCTIONAL PROGRAMMING? Functional programming defines the outputs of a program as a mathematical function of the inputs. Functional programming is a declarative
More informationCS 11 Haskell track: lecture 1
CS 11 Haskell track: lecture 1 This week: Introduction/motivation/pep talk Basics of Haskell Prerequisite Knowledge of basic functional programming e.g. Scheme, Ocaml, Erlang CS 1, CS 4 "permission of
More informationCS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims. Lecture 10: Asymptotic Complexity and
CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims Lecture 10: Asymptotic Complexity and What Makes a Good Algorithm? Suppose you have two possible algorithms or
More informationTUPLES AND RECURSIVE LISTS 5
TUPLES AND RECURSIVE LISTS 5 COMPUTER SCIENCE 61A July 3, 2012 1 Sequences From the Pig project, we discovered the utility of having structures that contain multiple values. Today, we are going to cover
More informationLECTURE 9 Data Structures: A systematic way of organizing and accessing data. --No single data structure works well for ALL purposes.
LECTURE 9 Data Structures: A systematic way of organizing and accessing data. --No single data structure works well for ALL purposes. Input Algorithm Output An algorithm is a step-by-step procedure for
More informationIntroduction to Programming I
Still image from YouTube video P vs. NP and the Computational Complexity Zoo BBM 101 Introduction to Programming I Lecture #09 Development Strategies, Algorithmic Speed Erkut Erdem, Aykut Erdem & Aydın
More informationBinary Search and Worst-Case Analysis
Department of Computer Science and Engineering Chinese University of Hong Kong A significant part of computer science is devoted to understanding the power of the RAM model in solving specific problems.
More informationObjective and Subjective Specifications
2017-7-10 0 Objective and Subjective Specifications Eric C.R. Hehner Department of Computer Science, University of Toronto hehner@cs.utoronto.ca Abstract: We examine specifications for dependence on the
More informationData Structures Lecture 8
Fall 2017 Fang Yu Software Security Lab. Dept. Management Information Systems, National Chengchi University Data Structures Lecture 8 Recap What should you have learned? Basic java programming skills Object-oriented
More informationCPSC 121: Models of Computation. Module 5: Predicate Logic
CPSC 121: Models of Computation Module 5: Predicate Logic Module 5: Predicate Logic Midterm 1: Friday February 9 th, 17:00 to 18:15 A to C (by last name): room DMP 310 D to K: room MATH 100 L to P: room
More informationTheory and Frontiers of Computer Science. Fall 2013 Carola Wenk
Theory and Frontiers of Computer Science Fall 2013 Carola Wenk We have seen so far Computer Architecture and Digital Logic (Von Neumann Architecture, binary numbers, circuits) Introduction to Python (if,
More informationintroduction to Programming in C Department of Computer Science and Engineering Lecture No. #40 Recursion Linear Recursion
introduction to Programming in C Department of Computer Science and Engineering Lecture No. #40 Recursion Linear Recursion Today s video will talk about an important concept in computer science which is
More informationAlgorithm efficiency can be measured in terms of: Time Space Other resources such as processors, network packets, etc.
Algorithms Analysis Algorithm efficiency can be measured in terms of: Time Space Other resources such as processors, network packets, etc. Algorithms analysis tends to focus on time: Techniques for measuring
More informationCS1 Lecture 22 Mar. 6, 2019
CS1 Lecture 22 Mar. 6, 2019 HW 5 due Friday Questions? In discussion exams next week Last time Ch 12. Zip, lambda, etc Default/keyword function parameters Ch 19 conditional expresssions, list comprehensions
More informationMore Lambda Calculus and Intro to Type Systems
More Lambda Calculus and Intro to Type Systems #1 One Slide Summary The lambda calculus is a model of computation or a programming language that is as expressive as a Turing machine. The lambda calculus
More informationIntroduction to the Analysis of Algorithms. Algorithm
Introduction to the Analysis of Algorithms Based on the notes from David Fernandez-Baca Bryn Mawr College CS206 Intro to Data Structures Algorithm An algorithm is a strategy (well-defined computational
More information1.3. Conditional expressions To express case distinctions like
Introduction Much of the theory developed in the underlying course Logic II can be implemented in a proof assistant. In the present setting this is interesting, since we can then machine extract from a
More informationProgram development plan
Appendix A Program development plan If you are spending a lot of time debugging, it is probably because you do not have an effective program development plan. A typical, bad program development plan goes
More informationIntro. Speed V Growth
Intro Good code is two things. It's elegant, and it's fast. In other words, we got a need for speed. We want to find out what's fast, what's slow, and what we can optimize. First, we'll take a tour of
More informationENGR 102 Engineering Lab I - Computation
ENGR 102 Engineering Lab I - Computation Learning Objectives by Week 1 ENGR 102 Engineering Lab I Computation 2 Credits 2. Introduction to the design and development of computer applications for engineers;
More informationCS583 Lecture 01. Jana Kosecka. some materials here are based on Profs. E. Demaine, D. Luebke A.Shehu, J-M. Lien and Prof. Wang s past lecture notes
CS583 Lecture 01 Jana Kosecka some materials here are based on Profs. E. Demaine, D. Luebke A.Shehu, J-M. Lien and Prof. Wang s past lecture notes Course Info course webpage: - from the syllabus on http://cs.gmu.edu/
More information6.001 Notes: Section 15.1
6.001 Notes: Section 15.1 Slide 15.1.1 Our goal over the next few lectures is to build an interpreter, which in a very basic sense is the ultimate in programming, since doing so will allow us to define
More informationIntro. Scheme Basics. scm> 5 5. scm>
Intro Let s take some time to talk about LISP. It stands for LISt Processing a way of coding using only lists! It sounds pretty radical, and it is. There are lots of cool things to know about LISP; if
More informationIntroduction to Computer Science
Introduction to Computer Science CSCI 109 Readings St. Amant, Ch. 4, Ch. 8 China Tianhe-2 Andrew Goodney Spring 2018 An algorithm (pronounced AL-go-rithum) is a procedure or formula for solving a problem.
More informationSets. Sets. Subset, universe. Specifying sets, membership. Examples: Specifying a set using a predicate. Examples
Sets 2/36 We will not give a precise definition of what is a set, but we will say precisely what you can do with it. Sets Lectures 7 and 8 (hapter 16) (Think of a set as a collection of things of which
More informationUNIT 14C The Limits of Computing: Non computable Functions. Problem Classifications
UNIT 14C The Limits of Computing: Non computable Functions 1 Problem Classifications Tractable Problems Problems that have reasonable, polynomialtime solutions Intractable Problems Problems that may have
More informationMergeSort, Recurrences, Asymptotic Analysis Scribe: Michael P. Kim Date: April 1, 2015
CS161, Lecture 2 MergeSort, Recurrences, Asymptotic Analysis Scribe: Michael P. Kim Date: April 1, 2015 1 Introduction Today, we will introduce a fundamental algorithm design paradigm, Divide-And-Conquer,
More informationCS152: Programming Languages. Lecture 11 STLC Extensions and Related Topics. Dan Grossman Spring 2011
CS152: Programming Languages Lecture 11 STLC Extensions and Related Topics Dan Grossman Spring 2011 Review e ::= λx. e x e e c v ::= λx. e c τ ::= int τ τ Γ ::= Γ, x : τ (λx. e) v e[v/x] e 1 e 1 e 1 e
More informationData Structures Lecture 3 Order Notation and Recursion
Data Structures Lecture 3 Order Notation and Recursion 1 Overview The median grade.cpp program from Lecture 2 and background on constructing and using vectors. Algorithm analysis; order notation Recursion
More informationTAIL RECURSION, SCOPE, AND PROJECT 4 11
TAIL RECURSION, SCOPE, AND PROJECT 4 11 COMPUTER SCIENCE 61A Noveber 12, 2012 1 Tail Recursion Today we will look at Tail Recursion and Tail Call Optimizations in Scheme, and how they relate to iteration
More informationCOP4020 Programming Languages. Functional Programming Prof. Robert van Engelen
COP4020 Programming Languages Functional Programming Prof. Robert van Engelen Overview What is functional programming? Historical origins of functional programming Functional programming today Concepts
More informationa b c d a b c d e 5 e 7
COMPSCI 230 Homework 9 Due on April 5, 2016 Work on this assignment either alone or in pairs. You may work with different partners on different assignments, but you can only have up to one partner for
More informationAdmin. How's the project coming? After these slides, read chapter 13 in your book. Quizzes will return
Recursion CS 1 Admin How's the project coming? After these slides, read chapter 13 in your book Yes that is out of order, but we can read it stand alone Quizzes will return Tuesday Nov 29 th see calendar
More informationWeek - 03 Lecture - 18 Recursion. For the last lecture of this week, we will look at recursive functions. (Refer Slide Time: 00:05)
Programming, Data Structures and Algorithms in Python Prof. Madhavan Mukund Department of Computer Science and Engineering Indian Institute of Technology, Madras Week - 03 Lecture - 18 Recursion For the
More informationFunctional Programming
Functional Programming COMS W4115 Prof. Stephen A. Edwards Spring 2003 Columbia University Department of Computer Science Original version by Prof. Simon Parsons Functional vs. Imperative Imperative programming
More informationFlow of execution! The flow of execution is the order in which program statements are executed.
Flow of execution! Flow of execution! The flow of execution is the order in which program statements are executed. Unless specified otherwise, program execution always begins from the first line. Statements
More informationsuch a manner that we are able to understand, grasp and grapple with the problem at hand in a more organized fashion.
Programming and Data Structure Dr.P.P.Chakraborty Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture 32 Conclusions Hello everybody. Today, we come to the
More informationWeek - 04 Lecture - 01 Merge Sort. (Refer Slide Time: 00:02)
Programming, Data Structures and Algorithms in Python Prof. Madhavan Mukund Department of Computer Science and Engineering Indian Institute of Technology, Madras Week - 04 Lecture - 01 Merge Sort (Refer
More informationThe Substitution Model
The Substitution Model Prof. Clarkson Fall 2017 Today s music: Substitute by The Who Review Previously in 3110: simple interpreter for expression language abstract syntax tree (AST) evaluation based on
More informationSteven Skiena. skiena
Lecture 22: Introduction to NP-completeness (1997) Steven Skiena Department of Computer Science State University of New York Stony Brook, NY 11794 4400 http://www.cs.sunysb.edu/ skiena Among n people,
More informationFunctional Programming
Functional Programming CS331 Chapter 14 Functional Programming Original functional language is LISP LISt Processing The list is the fundamental data structure Developed by John McCarthy in the 60 s Used
More informationIntroduction to the Theory of Computation, Sipser, PWS, ISBN X, 1996
CA320: COMPUTABILITY AND COMPLEXITY 1 1 Introduction CA320 Computability and Complexity Lecturer: Office: L2.55 Phone: 5017 Email: hamilton@computing.dcu.ie WWW: http://www.computing.dcu.ie/ hamilton Course
More informationArtificial Intelligence
Artificial Intelligence Lesson 1 1 About Lecturer: Prof. Sarit Kraus TA: Galit Haim: haimga@cs.biu.ac.il (almost) All you need can be found on the course website: http://u.cs.biu.ac.il/~haimga/teaching/ai/
More informationLambda Calculus see notes on Lambda Calculus
Lambda Calculus see notes on Lambda Calculus Shakil M. Khan adapted from Gunnar Gotshalks recap so far: Lisp data structures basic Lisp programming bound/free variables, scope of variables Lisp symbols,
More informationCS 1110 Final, December 8th, Question Points Score Total: 100
CS 1110 Final, December 8th, 2016 This 150-minute exam has 8 questions worth a total of 100 points. Scan the whole test before starting. Budget your time wisely. Use the back of the pages if you need more
More informationAlgorithm Analysis. This is based on Chapter 4 of the text.
Algorithm Analysis This is based on Chapter 4 of the text. John and Mary have each developed new sorting algorithms. They are arguing over whose algorithm is better. John says "Mine runs in 0.5 seconds."
More informationLecture #7: Recursion (and a data structure)
Lecture #7: Recursion (and a data structure) Announcements: A message from the AWE: The Association of Women in EECS is hosting a 61A party this Sunday (2/9) from 1 3PM in the Woz! Come hang out, befriend
More informationCOMP219: Artificial Intelligence. Lecture 14: Knowledge Representation
COMP219: Artificial Intelligence Lecture 14: Knowledge Representation 1 Overview Last time Game playing Minimax decisions Alpha-beta pruning Today Introduce the need for explicit knowledge representation
More informationMultiple-choice (35 pt.)
CS 161 Practice Midterm I Summer 2018 Released: 7/21/18 Multiple-choice (35 pt.) 1. (2 pt.) Which of the following asymptotic bounds describe the function f(n) = n 3? The bounds do not necessarily need
More informationOutline. Introduction. 2 Proof of Correctness. 3 Final Notes. Precondition P 1 : Inputs include
Outline Computer Science 331 Correctness of Algorithms Mike Jacobson Department of Computer Science University of Calgary Lectures #2-4 1 What is a? Applications 2 Recursive Algorithms 3 Final Notes Additional
More informationMeasuring algorithm efficiency
CMPT 225 Measuring algorithm efficiency Timing Counting Cost functions Cases Best case Average case Worst case Searching Sorting O Notation O notation's mathematical basis O notation classes and notations
More informationHow invariants help writing loops Author: Sander Kooijmans Document version: 1.0
How invariants help writing loops Author: Sander Kooijmans Document version: 1.0 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did you spend hours looking at the
More informationFunctional Languages. CSE 307 Principles of Programming Languages Stony Brook University
Functional Languages CSE 307 Principles of Programming Languages Stony Brook University http://www.cs.stonybrook.edu/~cse307 1 Historical Origins 2 The imperative and functional models grew out of work
More information4.1 Review - the DPLL procedure
Applied Logic Lecture 4: Efficient SAT solving CS 4860 Spring 2009 Thursday, January 29, 2009 The main purpose of these notes is to help me organize the material that I used to teach today s lecture. They
More informationCSCI 270: Introduction to Algorithms and Theory of Computing Fall 2017 Prof: Leonard Adleman Scribe: Joseph Bebel
CSCI 270: Introduction to Algorithms and Theory of Computing Fall 2017 Prof: Leonard Adleman Scribe: Joseph Bebel We will now discuss computer programs, a concrete manifestation of what we ve been calling
More informationName: CSCI E-220: Artificial Intelligence Midterm Exam, Fall Term 2001
Name: CSCI E-220: Artificial Intelligence Midterm Exam, Fall Term 2001 This is a 75-minute, open-book exam. Take a minute to look over the exam, and begin by answering the questions you feel most comfortable
More informationA Small Interpreted Language
A Small Interpreted Language What would you need to build a small computing language based on mathematical principles? The language should be simple, Turing equivalent (i.e.: it can compute anything that
More informationIE 172 Final Examination Practice Problems
IE 172 Final Examination Practice Problems Dr. T.K. Ralphs 1. This question concerns the graph below. (a) Execute Dijkstra s Algorithm on this graph by hand. Assuming the priority queue is stored as a
More informationIntroduction to Computer Science and Programming for Astronomers
Introduction to Computer Science and Programming for Astronomers Lecture 3. István Szapudi Institute for Astronomy University of Hawaii January 24, 2018 Outline Reminder 1 Reminder 2 3 Where were we last
More informationSummer 2017 Discussion 10: July 25, Introduction. 2 Primitives and Define
CS 6A Scheme Summer 207 Discussion 0: July 25, 207 Introduction In the next part of the course, we will be working with the Scheme programming language. In addition to learning how to write Scheme programs,
More informationFundamental mathematical techniques reviewed: Mathematical induction Recursion. Typically taught in courses such as Calculus and Discrete Mathematics.
Fundamental mathematical techniques reviewed: Mathematical induction Recursion Typically taught in courses such as Calculus and Discrete Mathematics. Techniques introduced: Divide-and-Conquer Algorithms
More informationProgramming Languages Third Edition
Programming Languages Third Edition Chapter 12 Formal Semantics Objectives Become familiar with a sample small language for the purpose of semantic specification Understand operational semantics Understand
More information6.001 Notes: Section 4.1
6.001 Notes: Section 4.1 Slide 4.1.1 In this lecture, we are going to take a careful look at the kinds of procedures we can build. We will first go back to look very carefully at the substitution model,
More informationENGR 102 Engineering Lab I - Computation
ENGR 102 Engineering Lab I - Computation Week 07: Arrays and Lists of Data Introduction to Arrays In last week s lecture, 1 we were introduced to the mathematical concept of an array through the equation
More informationElementary maths for GMT. Algorithm analysis Part I
Elementary maths for GMT Algorithm analysis Part I Algorithms An algorithm is a step-by-step procedure for solving a problem in a finite amount of time Most algorithms transform input objects into output
More informationConsolidation and Review
Consolidation and Review Professor Hugh C. Lauer CS-1004 Introduction to Programming for Non-Majors (Slides include materials from Python Programming: An Introduction to Computer Science, 2 nd edition,
More informationMergeSort, Recurrences, Asymptotic Analysis Scribe: Michael P. Kim Date: September 28, 2016 Edited by Ofir Geri
CS161, Lecture 2 MergeSort, Recurrences, Asymptotic Analysis Scribe: Michael P. Kim Date: September 28, 2016 Edited by Ofir Geri 1 Introduction Today, we will introduce a fundamental algorithm design paradigm,
More informationSorting is a problem for which we can prove a non-trivial lower bound.
Sorting The sorting problem is defined as follows: Sorting: Given a list a with n elements possessing a total order, return a list with the same elements in non-decreasing order. Remember that total order
More informationAlgorithms in Systems Engineering ISE 172. Lecture 1. Dr. Ted Ralphs
Algorithms in Systems Engineering ISE 172 Lecture 1 Dr. Ted Ralphs ISE 172 Lecture 1 1 References for Today s Lecture Required reading Chapter 1 References D.E. Knuth, The Art of Computer Programming,
More informationSD314 Outils pour le Big Data
Institut Supérieur de l Aéronautique et de l Espace SD314 Outils pour le Big Data Functional programming in Python Christophe Garion DISC ISAE Christophe Garion SD314 Outils pour le Big Data 1/ 35 License
More informationIntro to Programming. Unit 7. What is Programming? What is Programming? Intro to Programming
Intro to Programming Unit 7 Intro to Programming 1 What is Programming? 1. Programming Languages 2. Markup vs. Programming 1. Introduction 2. Print Statement 3. Strings 4. Types and Values 5. Math Externals
More informationCS510 \ Lecture Ariel Stolerman
CS510 \ Lecture02 2012-10-03 1 Ariel Stolerman Midterm Evan will email about that after the lecture, at least 2 lectures from now. The exam will be given in a regular PDF (not an online form). We will
More informationCS-XXX: Graduate Programming Languages. Lecture 9 Simply Typed Lambda Calculus. Dan Grossman 2012
CS-XXX: Graduate Programming Languages Lecture 9 Simply Typed Lambda Calculus Dan Grossman 2012 Types Major new topic worthy of several lectures: Type systems Continue to use (CBV) Lambda Caluclus as our
More informationGreedy Algorithms 1 {K(S) K(S) C} For large values of d, brute force search is not feasible because there are 2 d {1,..., d}.
Greedy Algorithms 1 Simple Knapsack Problem Greedy Algorithms form an important class of algorithmic techniques. We illustrate the idea by applying it to a simplified version of the Knapsack Problem. Informally,
More informationThe Substitution Model. Nate Foster Spring 2018
The Substitution Model Nate Foster Spring 2018 Review Previously in 3110: simple interpreter for expression language abstract syntax tree (AST) evaluation based on single steps parser and lexer (in lab)
More informationModern Programming Languages. Lecture LISP Programming Language An Introduction
Modern Programming Languages Lecture 18-21 LISP Programming Language An Introduction 72 Functional Programming Paradigm and LISP Functional programming is a style of programming that emphasizes the evaluation
More informationCSCI-1200 Data Structures Spring 2018 Lecture 7 Order Notation & Basic Recursion
CSCI-1200 Data Structures Spring 2018 Lecture 7 Order Notation & Basic Recursion Review from Lectures 5 & 6 Arrays and pointers, Pointer arithmetic and dereferencing, Types of memory ( automatic, static,
More informationDenotational semantics
1 Denotational semantics 2 What we're doing today We're looking at how to reason about the effect of a program by mapping it into mathematical objects Specifically, answering the question which function
More informationSCHEME 8. 1 Introduction. 2 Primitives COMPUTER SCIENCE 61A. March 23, 2017
SCHEME 8 COMPUTER SCIENCE 61A March 2, 2017 1 Introduction In the next part of the course, we will be working with the Scheme programming language. In addition to learning how to write Scheme programs,
More informationIn Our Last Exciting Episode
In Our Last Exciting Episode #1 Lessons From Model Checking To find bugs, we need specifications What are some good specifications? To convert a program into a model, we need predicates/invariants and
More informationModule 07: Efficiency
Module 07: Efficiency Topics: Basic introduction to run-time efficiency Analyzing recursive code Analyzing iterative code 1 Consider the following two ways to calculate the maximum of a nonempty list.
More informationUnit E Step-by-Step: Programming with Python
Unit E Step-by-Step: Programming with Python Computer Concepts 2016 ENHANCED EDITION 1 Unit Contents Section A: Hello World! Python Style Section B: The Wacky Word Game Section C: Build Your Own Calculator
More informationDesign and Analysis of Computer Algorithm Lecture 1. Assoc. Prof.Pradondet Nilagupta Department of Computer Engineering
Design and Analysis of Computer Algorithm Lecture 1 Assoc. Prof.Pradondet Nilagupta Department of Computer Engineering pom@ku.ac.th Acknowledgement This lecture note has been summarized from lecture note
More informationHomework 1. Notes. What To Turn In. Unix Accounts. Reading. Handout 3 CSCI 334: Spring, 2017
Homework 1 Due 14 February Handout 3 CSCI 334: Spring, 2017 Notes This homework has three types of problems: Self Check: You are strongly encouraged to think about and work through these questions, but
More informationp x i 1 i n x, y, z = 2 x 3 y 5 z
3 Pairing and encoding functions Our aim in this part of the course is to show that register machines can compute everything that can be computed, and to show that there are things that can t be computed.
More informationCS 506, Sect 002 Homework 5 Dr. David Nassimi Foundations of CS Due: Week 11, Mon. Apr. 7 Spring 2014
CS 506, Sect 002 Homework 5 Dr. David Nassimi Foundations of CS Due: Week 11, Mon. Apr. 7 Spring 2014 Study: Chapter 4 Analysis of Algorithms, Recursive Algorithms, and Recurrence Equations 1. Prove the
More informationORDERS OF GROWTH, DATA ABSTRACTION 4
ORDERS OF GROWTH, DATA ABSTRACTION 4 COMPUTER SCIENCE 61A June 28, 2012 1 Orders of Growth When we talk about the efficiency of a procedure (at least for now), we are often interested in how much more
More information