Seminar: Recreational Computer Science 1. Organization, Seminar - - PowerPoint PPT Presentation

seminar recreational computer science
SMART_READER_LITE
LIVE PREVIEW

Seminar: Recreational Computer Science 1. Organization, Seminar - - PowerPoint PPT Presentation

Seminar: Recreational Computer Science 1. Organization, Seminar Schedule & Topics Gabi R oger Universit at Basel September 25, 2017 Recreational Computer Science Organizational Matters Seminar Topics Next Steps Recreational


slide-1
SLIDE 1

Seminar: Recreational Computer Science

  • 1. Organization, Seminar Schedule & Topics

Gabi R¨

  • ger

Universit¨ at Basel

September 25, 2017

slide-2
SLIDE 2

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Recreational Computer Science

slide-3
SLIDE 3

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic of the Seminar

Recreational Computer Science

. . . from Langton’s Ant to Turing’s Subway inspired by recreational mathematics packages interesting topics in entertaining presentations wide range of topics

from theoretical computer science to algorithmic problems

easily understandable (popular science) introductions but scientific background

slide-4
SLIDE 4

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Example: Langton’s Ant

Very simple rules On white tile: paint tile black, turn 90◦ right, move one step forward On black tile: paint tile white, turn 90◦ left, move one step forward

slide-5
SLIDE 5

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Example: Langton’s Ant

Started on white plane builds several patterns in the first few hundred steps then very chaotic behaviour for a few thousand steps then building infinite “highway”

slide-6
SLIDE 6

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Example: Langton’s Ant

simple rules define really complex system seems to build a highway on all finite initial configurations but Turing-complete with infinite initial configurations Example of a cellular automaton

slide-7
SLIDE 7

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Organizational Matters

slide-8
SLIDE 8

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Target Audience and Prerequisites

Target audience BSc students of computer science and related subjects Prerequisites ability to work independently programming skills (for the software project) . . . or willingness to acquire these on the fly

slide-9
SLIDE 9

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Format

Seminar format Theoretical part + programming project 6 ECTS points evaluation: graded

slide-10
SLIDE 10

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Learning Goals

Learning goals Seminar: dealing with scientific literature reading and understanding explaining and presenting comparing and discussing Project: implementing efficient problem solvers practice in programming clean and efficient code ( code reviews) evaluation of algorithms ( scientific experiments)

slide-11
SLIDE 11

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Meetings

  • 25. Sep

16:15–18:00 Introduction (today)

  • 2. Oct

16:15–18:00 How to prepare a seminar paper and presentations

  • 11. Nov

9:00–18:00 Seminar presentations

  • 12. Nov

9:00–18:00 Seminar presentations

  • 16. Dec

9:00–18:00 Project presentations

Room 00.003, Spiegelgasse 1

slide-12
SLIDE 12

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements I

Requirements to pass Write a seminar paper

10–12 pages, LaTeX first version due on Oct 29, second version on Nov 26

Write a peer review

1–2 pages due on Nov 3

Give a seminar presentation

35 mins plus discussion submit slides on Nov 8 final (polished) version of slides due on Nov 10

Actively participate in discussions . . .

slide-13
SLIDE 13

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements I

Requirements to pass Write a seminar paper

10–12 pages, LaTeX first version due on Oct 29, second version on Nov 26

Write a peer review

1–2 pages due on Nov 3

Give a seminar presentation

35 mins plus discussion submit slides on Nov 8 final (polished) version of slides due on Nov 10

Actively participate in discussions . . .

slide-14
SLIDE 14

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements I

Requirements to pass Write a seminar paper

10–12 pages, LaTeX first version due on Oct 29, second version on Nov 26

Write a peer review

1–2 pages due on Nov 3

Give a seminar presentation

35 mins plus discussion submit slides on Nov 8 final (polished) version of slides due on Nov 10

Actively participate in discussions . . .

slide-15
SLIDE 15

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements I

Requirements to pass Write a seminar paper

10–12 pages, LaTeX first version due on Oct 29, second version on Nov 26

Write a peer review

1–2 pages due on Nov 3

Give a seminar presentation

35 mins plus discussion submit slides on Nov 8 final (polished) version of slides due on Nov 10

Actively participate in discussions . . .

slide-16
SLIDE 16

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements II

Requirements to pass (continued) Submit an implementation for the programming project

due on Dec 8

Give a project presentation

15-18 mins plus discussion

Participate in all weekend meetings

slide-17
SLIDE 17

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements II

Requirements to pass (continued) Submit an implementation for the programming project

due on Dec 8

Give a project presentation

15-18 mins plus discussion

Participate in all weekend meetings

slide-18
SLIDE 18

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Requirements II

Requirements to pass (continued) Submit an implementation for the programming project

due on Dec 8

Give a project presentation

15-18 mins plus discussion

Participate in all weekend meetings

slide-19
SLIDE 19

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Grading

Grading Seminar paper (15+15%) Peer review (10%) Seminar presentation (15%) Participation in discussions (10%) Implementation for the programming project (20%) Project presentation (15%) The aspects will be individually graded on a scale of 1.0-6.0, and the overall grade for the seminar will be determined as a weighted average of the components.

slide-20
SLIDE 20

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Peer Reviewing

you get a seminar paper written by someone else and give written feedback feedback is anonymous aim: learn through change of perspective

slide-21
SLIDE 21

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Programming Project

programming project is related to seminar topic clarify the following aspects with the advisor of your topic:

programming language project description

when?

as soon as you have a sufficient overview of the topic no later than Nov 14

slide-22
SLIDE 22

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

People

Malte Helmert Gabi R¨

  • ger

Florian Pommerening Silvan Sievers Jendrik Seipp Manuel Heusner Salom´ e Eriksson Thomas Keller Cedric Geissmann

slide-23
SLIDE 23

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

People: Organizers

Organizers (and advisors)

  • Dr. Gabriele R¨
  • ger

email: gabriele.roeger@unibas.ch

  • ffice: Spiegelgasse 1, room 04.005
  • Prof. Dr. Malte Helmert

email: malte.helmert@unibas.ch

  • ffice: Spiegelgasse 1, room 06.004
slide-24
SLIDE 24

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

People: Advisors

Spiegelgasse 1, room 04.001

  • Dr. Thomas Keller

tho.keller@unibas.ch

  • Dr. Florian Pommerening

florian.pommerening@unibas.ch

Spiegelgasse 5, room 04.001

Salom´ e Eriksson salome.eriksson@unibas.ch Cedric Geissmann cedric.geissmann@unibas.ch Manuel Heusner manuel.heusner@unibas.ch Jendrik Seipp jendrik.seipp@unibas.ch Silvan Sievers silvan.sievers@unibas.ch

slide-25
SLIDE 25

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Material & Registration

Seminar homepage http://cs.unibas.ch/hs2017/ description of seminar slides Adam https://adam.unibas.ch/ additional materials in particular recreational introductions to topics Registration: https://services.unibas.ch/

slide-26
SLIDE 26

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Plagiarism

Plagiarism plagiarism: passing off someone else’s work as your own consequence: failing the seminar if in doubt, ask us! In case of recurrence, exclusion from course of studies possible.

slide-27
SLIDE 27

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Language

seminar paper in English or German peer review in English (or German if ok for paper author) presentations in English (or German if all participants agree) programming language by agreement with advisor

slide-28
SLIDE 28

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Questions on Organization Questions?

slide-29
SLIDE 29

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Seminar Topics

slide-30
SLIDE 30

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Ian Stewart

British mathematician many popular-science books and mathematical columns in scientific magazines

“Mathematical Recreations” column in Scientific American “Visions Math´ ematiques” column in Pour la Science

slide-31
SLIDE 31

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #1

Topic #1: Tile and Error tiling problems with polyominos

slide-32
SLIDE 32

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #2

Topic #2: A Subway Named Turing Turing machines simulated by subway systems

slide-33
SLIDE 33

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #3

Topic #3: Million-Dollar Minesweeper NP-complete problems polynomial reduction

slide-34
SLIDE 34

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #4

Topic #4: Monks, Blobs and Common Knowledge epistemic logic expressing knowledge about knowledge “A knows that B knows that C does not know that . . . ”

slide-35
SLIDE 35

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #5

Topic #5: A Partly True Story fuzzy logic degree of truth for vague information

slide-36
SLIDE 36

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #6

Topic #6: The Ultimate in Anty-particles Langton’s ant cellular automata

slide-37
SLIDE 37

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #7

Topic #7: How Many Guards in the Gallery? art gallery problem on polygonial maps where to place a minimum number of “guards” in a polygon so that together they can “see” everything?

slide-38
SLIDE 38

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #8

Topic #8: Unbang the Bane and the Army of the Antigods Peg Solitaire pagoda function to prove unsolvability of some problems

slide-39
SLIDE 39

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #9

Topic #9: Defend the Roman Empire! Integer programming maximize 2x − 3y + z subject to x + 2y + z ≤ 10 x − z ≤ x ≥ 0, y ≥ 0, z ≥ 0

slide-40
SLIDE 40

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #10

Topic #10: Murder at Ghastleigh Grange property of planar graphs with Hamiltonian cycle

slide-41
SLIDE 41

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #11

Topic #11: The Interrogator’s Fallacy conditional probabilities

slide-42
SLIDE 42

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #12

Topic #12: The Lion, the Llama and the Lettuce farmer/wolf/goat problem, towers of hanoi Sierpinski triangle state space search

slide-43
SLIDE 43

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #13

Topic #13: Concentration: a Winning Strategy

  • ptimal strategies for Memory
slide-44
SLIDE 44

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #14

Topic #14: A shepherd takes a sheep shot Five in a Row-like games

slide-45
SLIDE 45

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #15

Topic #15: Passage to Pentagonia number of paths from A to B in a graph matrix multiplication

slide-46
SLIDE 46

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #16

Topic #16: Knights of the flat torus knight’s tours on different shapes Hamiltonian paths/cycles

slide-47
SLIDE 47

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #17

Topic #17: Maxdoch Murwell, Market Manipulator game theory

slide-48
SLIDE 48

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #18

Topic #18: The Group-theorist of Notre Dame permutation groups

slide-49
SLIDE 49

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #19

Topic #19: A Dicey Business

  • ptimal strategies for a class of two-person games
slide-50
SLIDE 50

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #20

Topic #20: A Strategy for Subsets subset takeaway game combinatorial game theory

slide-51
SLIDE 51

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #21

Topic #21: FRACTRAN programming language program is list of fractions internal state of interpreter is a positive integer each iteration multiplies state with the first fraction in the list that results in an integer Turing-complete

slide-52
SLIDE 52

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Topic #22

Topic #22: Snake Complexity of configuration problem

slide-53
SLIDE 53

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Next Steps

slide-54
SLIDE 54

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Assignment of Topics

We will send you the link to a poll Number of the option = number of the topic in these slides Mark at least 3 topics with Yes Mark at least 5 topics positively: Yes or (Yes) until September 28 (next Thursday) Then: Paper assignment and supervisors announced October 2. Start reading the paper and contact supervisor ASAP

slide-55
SLIDE 55

Recreational Computer Science Organizational Matters Seminar Topics Next Steps

Important Dates

28 Sep Have preferred topics marked 2 Oct Second meeting & topic assignment 29 Oct Seminar paper due (first version) 3 Nov Peer review due 8 Nov Slides due (first version) 9/10 Nov Feedback on slides from advisor 10 Nov Slides due (final version) 11/12 Nov Seminar presentations 14 Nov Have programming project clarified 26 Nov Seminar paper due (final version) 8 Dec Implementation due 16 Dec Project presentations