florian-rabe/Teaching

Issues

• WuV: decide where to put my MMT formalizations of WuV's syntax+semantics definitions

  #139 opened 4 years ago by ComFreek
  0

• WuV: suggestion: mention terminology from literature: denotational, operational and axiomatic semantics

  #138 opened 4 years ago by ComFreek
  0

• WuV: include exercises 4, 5 in notes (currently only on slides)

  #137 opened 4 years ago by ComFreek
  0

• WuV: list all exercises on a single page in notes

  #136 opened 4 years ago by ComFreek
  0

• WuV: slides claim a codec for floats to strings is easy

  #135 opened 4 years ago by ComFreek
  0

• WuV: non-terminal clash in grammar

  #134 opened 4 years ago by ComFreek
  0

• WuV: footnote in table cell not rendered at all

  #130 opened 4 years ago by ComFreek
  0

• WuV: use a different small "l" to denote the source/object language in semantics chapter

  #129 opened 4 years ago by ComFreek
  0

• Bonus credit for contributions to lecture notes or homework solutions

  #125 opened 7 years ago by florian-rabe
  0

• Grade announcements

  #126 opened 7 years ago by florian-rabe
  0

• Grade announcements

  #119 opened 7 years ago by florian-rabe
  2

• SaDS makeup exam

  #120 opened 7 years ago by florian-rabe
  6

• AaDS make-up exam

  #121 opened 7 years ago by florian-rabe
  0

• Course Feedback

  #123 opened 7 years ago by florian-rabe
  0

• Course Feedback

  #124 opened 7 years ago by florian-rabe
  0

• Final exam

  #97 opened 8 years ago by florian-rabe
  4

• Reporting security vulnerabilities of Jacobs IT infrastructure

  #107 opened 8 years ago by florian-rabe
  1

• Feedback on Structure of Course so far

  #74 opened 8 years ago by florian-rabe
  0

• Auditing SaDS

  #81 opened 8 years ago by florian-rabe
  0

• Using language's implementations

  #85 opened 8 years ago by LeulShiferaw
  1

• Example solutions to various programming questions

  #82 opened 8 years ago by florian-rabe
  2

• Quiz excuses

  #116 opened 8 years ago by florian-rabe
  1

• Quizzes

  #118 opened 8 years ago by florian-rabe
  1

• Quiz 7 without name

  #117 opened 8 years ago by florian-rabe
  2

• Homework 12 published

  #108 opened 8 years ago by florian-rabe
  2

• Homework 7 published

  #109 opened 8 years ago by florian-rabe
  2

• HW5 Graded

  #114 opened 8 years ago by aulon
  0

• Homework 11 published

  #105 opened 8 years ago by florian-rabe
  1

• Question: Homework 12.1 AaDS

  #113 opened 8 years ago by LennixM
  1

• AaDS Final Exam

  #115 opened 8 years ago by ShabbarRazaPk94
  5

• Homeworks 4 and parts of 5 published

  #73 opened 8 years ago by florian-rabe
  1

• Homework 5 posted

  #77 opened 8 years ago by florian-rabe
  1

• Quizzes

  #83 opened 8 years ago by yesnoyesnoyes
  1

• Lecture rescheduling

  #79 opened 8 years ago by florian-rabe
  1

• Grading of HW 2&3&4

  #80 opened 8 years ago by ypan0411
  1

• Homework 9 published

  #88 opened 8 years ago by florian-rabe
  2

• Homework 6 published

  #103 opened 8 years ago by florian-rabe
  2

• Remaining quizzes

  #104 opened 8 years ago by florian-rabe
  0

• HW3 Graded

  #106 opened 8 years ago by aulon
  0

• AaDS Tutorial

  #94 opened 8 years ago by orxh
  0

• square multiply

  #102 opened 8 years ago by LeulShiferaw
  1

• Homework 7 published

  #70 opened 8 years ago by florian-rabe
  0

• Homework 8 posted

  #76 opened 8 years ago by florian-rabe
  0

• This week's tutorial

  #84 opened 8 years ago by JHalili
  0

• Midterm (topics, room, etc.)

  #87 opened 8 years ago by florian-rabe
  2

• 15 minutes late today

  #78 opened 8 years ago by florian-rabe
  0

• Quiz 3 without name on it

  #71 opened 8 years ago by florian-rabe
  2

• AaDA Tutorial

  #75 opened 8 years ago by rdeliallisi
  0

• AaDS Tutorial

  #72 opened 8 years ago by orxh
  1

• Lecture rescheduling

  #66 opened 8 years ago by florian-rabe
  0