introduction to cs 245
play

Introduction to CS 245 Alice Gao Lecture 0 Based on work by many - PowerPoint PPT Presentation

May 06, 2023 •534 likes •677 views

1/13 Introduction to CS 245 Alice Gao Lecture 0 Based on work by many people with special thanks to Collin Roberts, Jonathan Buss, Lila Kari and Anna Lubiw. Come and sit in the front. I wont pick on you. :D 2/13 Outline Introduction to

  1. 1/13 Introduction to CS 245 Alice Gao Lecture 0 Based on work by many people with special thanks to Collin Roberts, Jonathan Buss, Lila Kari and Anna Lubiw. Come and sit in the front. I won’t pick on you. :D

  2. 2/13 Outline Introduction to CS 245 Let’s get acquainted Roadmap Logistics Succeeding in CS 245

  3. 3/13 Who am I? My name is Alice Gao. I grew up in Beijing, China, and have lived in Vancouver, Toronto, Boston, Cambridge (UK), New York City, and Kitchener. Research: artifjcial intelligence, game theory, education, and peer grading. My work/education history: Hobbies: board games, escape room games, hiking, swimming, and traveling. ▶ Lecturer, Computer Science, University of Waterloo. ▶ Postdoc, Computer Science, UBC. ▶ Ph.D., Computer Science, Harvard University. ▶ Undergraduate, Computer Science and Mathematics, UBC.

  4. 4/13 Meet your peers don’t know. extracurricular activities... every lecture and get to know the people around you. ▶ In the next 2 minutes, introduce yourself to someone you ▶ Talk about courses, co-op, summer activities, dorms, ▶ I encourage you to sit in a difgerent section of the classroom

  5. 5/13 I’d like to learn your names On your index card, write An example Your name Xi Gao Your preferred name and tips for pronunciation Alice Gao Student number 15270036 Something interesting about you I once had a pet hedgehog named Ebbie.

  6. 6/13 Did you bring your clicker today?

  7. 7/13 The reputation of this course This course doesn’t have a very good reputation... Do you expect this course to be ... (A) Amazing (B) Good (C) Average (D) Not good (E) Terrible Within my power and constraints, I’ve done a few things to make your experience better: roadmap, learning goals, interactive lectures, and applications.

  8. 8/13 A roadmap of CS 245 First-order logic: Applications: specifjcation. algorithms. ▶ a formal language that we can use to model real world scenarios and to perform inference and deduction. ▶ Program verifjcation: Prove that a program meets a ▶ Undecidability: Prove that a problem cannot be solved by

  9. 9/13 Logic from two perspectives Logic from two perspectives: a practitioner and a logician A logician cares about: formula? A practitioner cares about: ▶ Use logic to model specifjc things ▶ Determining if two formulas are equivalent ▶ Deduct a conclusion from a set of premises ▶ Does every well-formed formula have a unique construction? ▶ Can this set of connectives construct any formula? ▶ Is every formula I can prove true? Can I prove every true

  10. 10/13 Besides logic, this course is also about ▶ Thinking and communicating precisely ▶ Problem solving ▶ Creative thinking ▶ Critical thinking

  11. 11/13 Components of this course schedule, assignments (submission and remark instructions) and study exercises. announcements, questions, and discussions. and marks. ▶ Lecture (clicker questions 5%) ▶ Tutorial ▶ Weekly Assignments (20%) ▶ Midterm (25%) (June 7) ▶ Final exam (50%) ▶ Course website: things that do not change, e.g. offjce hours, ▶ Piazza: things that do change, e.g. important ▶ Learn: tutorial notes, assignment solutions, exam solutions,

  12. 12/13 What I do to help you succeed Lectures: Course materials: Offjce hours: Thursday after class and Monday morning or afternoon? ▶ Learning goals ▶ Clicker questions ▶ In-class problem solving ▶ Learning goals ▶ Problems and solutions

  13. 13/13 What I suggest you do to succeed ▶ Engage with the materials in lectures and tutorials. ▶ Complete the assignments by yourself. ▶ Make a plan and test yourself based on the learning goals. ▶ Struggling is necessary for learning.

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION & FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
The Smart Police Executive Chief Executive Track - Education Session October 26, 2014 - 8:00-9:30

The Smart Police Executive Chief Executive Track - Education Session October 26, 2014 - 8:00-9:30

The Smart Police Executive Chief Executive Track - Education Session October 26, 2014 - 8:00-9:30 a.m. W109B This project was supported by Grant No. 2013-DP-BX-K006 awarded by the Bureau of Justice Assistance. The Bureau of Justice Assistance is

556 views • 13 slides
Transporting iterative algorithms from Euclidean space to manifolds Jochen Trumpf

Transporting iterative algorithms from Euclidean space to manifolds Jochen Trumpf

Transporting iterative algorithms from Euclidean space to manifolds Jochen Trumpf Jochen.Trumpf@anu.edu.au Department of Information Engineering Research School of Information Sciences and Engineering The Australian National University and

715 views • 36 slides
Sitecore Best Practices - War Stories From the Trenches Charles Turano Hedgehog Development

Sitecore Best Practices - War Stories From the Trenches Charles Turano Hedgehog Development

Sitecore Best Practices - War Stories From the Trenches Charles Turano Hedgehog Development @CharlesTurano Sitecore User Group Conference 2015 1 Hedgehog Sitecore User Group Conference 2015 2 Agenda What are Sitecore best practices

629 views • 28 slides
One Library, One Staff: Innovation and Organizational Culture Pilar Martinez, CEO Edmonton

One Library, One Staff: Innovation and Organizational Culture Pilar Martinez, CEO Edmonton

One Library, One Staff: Innovation and Organizational Culture Pilar Martinez, CEO Edmonton Public Library LLAMA Thought Leaders Series August 20, 2015 8/20/2015 2 3 4 5 6 EPL Firsts 7 Changing the Culture and Focusing 8/20/2015 8

923 views • 43 slides
News CPSC 314 Computer Graphics midterm review Wednesday Jan-Apr 2005 plus Kangaroo Hall

News CPSC 314 Computer Graphics midterm review Wednesday Jan-Apr 2005 plus Kangaroo Hall

University of British Columbia News CPSC 314 Computer Graphics midterm review Wednesday Jan-Apr 2005 plus Kangaroo Hall of Fame midterm Friday (be on time!) Tamara Munzner covering through lighting/shading not color or

238 views • 9 slides
Course summary 18.354 Dimensional analysis Keplers problem L = r md r dt , Random walks

Course summary 18.354 Dimensional analysis Keplers problem L = r md r dt , Random walks

Course summary 18.354 Dimensional analysis Keplers problem L = r md r dt , Random walks & diffusion x = D 2 n n t = J x x 2 , Mark Haw David Walker (In)stability analysis & pattern formation t

369 views • 16 slides
Grundy Distinguishes Treewidth from Pathwidth Michael Lampis LAMSADE Universit e Paris

Grundy Distinguishes Treewidth from Pathwidth Michael Lampis LAMSADE Universit e Paris

Grundy Distinguishes Treewidth from Pathwidth Michael Lampis LAMSADE Universit e Paris Dauphine ESA 2020 Acknowledgements This is joint work with: R emy Belmonte UEC Eun Jung Kim LAMSADE Valia Mitsou IRIF Yota Otachi Nagoya U

1.09k views • 91 slides
Clustering Random Walk Time Series GSI 2015 - Geometric Science of Information Gautier Marti,

Clustering Random Walk Time Series GSI 2015 - Geometric Science of Information Gautier Marti,

Introduction Geometry of Random Walk Time Series The Hierarchical Block Model Conclusion Clustering Random Walk Time Series GSI 2015 - Geometric Science of Information Gautier Marti, Frank Nielsen, Philippe Very, Philippe Donnat 29 October

285 views • 25 slides

More recommend