Move MCS files

master
Daan Vanoverloop 4 months ago
parent 182879c0b4
commit ba7ff65c04
Signed by: Danacus
GPG Key ID: F2272B50E129FC5C
  1. 2
      Computergrafiek Project/graphics_project_21-22-Danacus
  2. BIN
      Gedistribueerde Systemen/ds.xopp
  3. 2
      MAS/PacketWorld
  4. 0
      MCS/2022-02-18_14-07-32_sheet.rnote
  5. 0
      MCS/2022-02-18_14-50-14_sheet.rnote
  6. 0
      MCS/2022-02-18_15-17-40_sheet.rnote
  7. 0
      MCS/Intro.handouts.pdf
  8. 0
      MCS/Scienceweek(4).zip
  9. 0
      MCS/ShortestPath(5).idp
  10. 0
      MCS/chapter2.pdf
  11. 0
      MCS/chapter3.pdf
  12. 0
      MCS/chapter4.pdf
  13. 0
      MCS/flood(1).zip
  14. 0
      MCS/idp/Schur/schur.idp
  15. 0
      MCS/idp/Scienceweek/graphColoring/coloring.idp
  16. 0
      MCS/idp/Scienceweek/graphColoring/coloring_draw.idp
  17. 0
      MCS/idp/Scienceweek/graphColoring/coloring_instance_1.idp
  18. 0
      MCS/idp/Scienceweek/graphColoring/coloring_oplossing.aidp
  19. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/JSON.lua
  20. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/dkjson.lua
  21. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/idpd3_browser.lua
  22. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/idpd3_check.lua
  23. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/idpd3_in.lua
  24. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/idpd3_out.lua
  25. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/idpd3_voc.idp
  26. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/logDispatch.lua
  27. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/logPrintTime.lua
  28. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/run.idp
  29. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/timer.lua
  30. 0
      MCS/idp/Scienceweek/graphColoring/idpd3/tprint.lua
  31. 0
      MCS/idp/Scienceweek/hanoi/hanoi.idp
  32. 0
      MCS/idp/Scienceweek/hanoi/hanoi_draw.idp
  33. 0
      MCS/idp/Scienceweek/hanoi/hanoi_instance_1.idp
  34. 0
      MCS/idp/Scienceweek/hanoi/hanoi_instance_2.idp
  35. 0
      MCS/idp/Scienceweek/hanoi/hanoi_solution.aidp
  36. 0
      MCS/idp/Scienceweek/hanoi/idpd3/JSON.lua
  37. 0
      MCS/idp/Scienceweek/hanoi/idpd3/dkjson.lua
  38. 0
      MCS/idp/Scienceweek/hanoi/idpd3/idpd3_browser.lua
  39. 0
      MCS/idp/Scienceweek/hanoi/idpd3/idpd3_check.lua
  40. 0
      MCS/idp/Scienceweek/hanoi/idpd3/idpd3_in.lua
  41. 0
      MCS/idp/Scienceweek/hanoi/idpd3/idpd3_out.lua
  42. 0
      MCS/idp/Scienceweek/hanoi/idpd3/idpd3_voc.idp
  43. 0
      MCS/idp/Scienceweek/hanoi/idpd3/logDispatch.lua
  44. 0
      MCS/idp/Scienceweek/hanoi/idpd3/logPrintTime.lua
  45. 0
      MCS/idp/Scienceweek/hanoi/idpd3/run.idp
  46. 0
      MCS/idp/Scienceweek/hanoi/idpd3/timer.lua
  47. 0
      MCS/idp/Scienceweek/hanoi/idpd3/tprint.lua
  48. 0
      MCS/idp/Scienceweek/nqueens/idpd3/JSON.lua
  49. 0
      MCS/idp/Scienceweek/nqueens/idpd3/dkjson.lua
  50. 0
      MCS/idp/Scienceweek/nqueens/idpd3/idpd3_browser.lua
  51. 0
      MCS/idp/Scienceweek/nqueens/idpd3/idpd3_check.lua
  52. 0
      MCS/idp/Scienceweek/nqueens/idpd3/idpd3_in.lua
  53. 0
      MCS/idp/Scienceweek/nqueens/idpd3/idpd3_out.lua
  54. 0
      MCS/idp/Scienceweek/nqueens/idpd3/idpd3_voc.idp
  55. 0
      MCS/idp/Scienceweek/nqueens/idpd3/logDispatch.lua
  56. 0
      MCS/idp/Scienceweek/nqueens/idpd3/logPrintTime.lua
  57. 0
      MCS/idp/Scienceweek/nqueens/idpd3/run.idp
  58. 0
      MCS/idp/Scienceweek/nqueens/idpd3/timer.lua
  59. 0
      MCS/idp/Scienceweek/nqueens/idpd3/tprint.lua
  60. 0
      MCS/idp/Scienceweek/nqueens/nqueens.idp
  61. 0
      MCS/idp/Scienceweek/nqueens/nqueens_draw.idp
  62. 0
      MCS/idp/Scienceweek/nqueens/nqueens_instance_1.idp
  63. 0
      MCS/idp/Scienceweek/nqueens/nqueens_instance_2.idp
  64. 0
      MCS/idp/Scienceweek/nqueens/nqueens_instance_3.idp
  65. 0
      MCS/idp/Scienceweek/nqueens/nqueens_solution.aidp
  66. 0
      MCS/idp/Scienceweek/roster/draw.idp
  67. 0
      MCS/idp/Scienceweek/roster/idpd3/JSON.lua
  68. 0
      MCS/idp/Scienceweek/roster/idpd3/dkjson.lua
  69. 0
      MCS/idp/Scienceweek/roster/idpd3/idpd3_browser.lua
  70. 0
      MCS/idp/Scienceweek/roster/idpd3/idpd3_check.lua
  71. 0
      MCS/idp/Scienceweek/roster/idpd3/idpd3_in.lua
  72. 0
      MCS/idp/Scienceweek/roster/idpd3/idpd3_out.lua
  73. 0
      MCS/idp/Scienceweek/roster/idpd3/idpd3_voc.idp
  74. 0
      MCS/idp/Scienceweek/roster/idpd3/logDispatch.lua
  75. 0
      MCS/idp/Scienceweek/roster/idpd3/logPrintTime.lua
  76. 0
      MCS/idp/Scienceweek/roster/idpd3/run.idp
  77. 0
      MCS/idp/Scienceweek/roster/idpd3/timer.lua
  78. 0
      MCS/idp/Scienceweek/roster/idpd3/tprint.lua
  79. 0
      MCS/idp/Scienceweek/roster/instance_1.idp
  80. 0
      MCS/idp/Scienceweek/roster/roster.idp
  81. 0
      MCS/idp/Scienceweek/roster/solution.aidp
  82. 0
      MCS/idp/Scienceweek/sudoku/idpd3/JSON.lua
  83. 0
      MCS/idp/Scienceweek/sudoku/idpd3/dkjson.lua
  84. 0
      MCS/idp/Scienceweek/sudoku/idpd3/idpd3_browser.lua
  85. 0
      MCS/idp/Scienceweek/sudoku/idpd3/idpd3_check.lua
  86. 0
      MCS/idp/Scienceweek/sudoku/idpd3/idpd3_in.lua
  87. 0
      MCS/idp/Scienceweek/sudoku/idpd3/idpd3_out.lua
  88. 0
      MCS/idp/Scienceweek/sudoku/idpd3/idpd3_voc.idp
  89. 0
      MCS/idp/Scienceweek/sudoku/idpd3/logDispatch.lua
  90. 0
      MCS/idp/Scienceweek/sudoku/idpd3/logPrintTime.lua
  91. 0
      MCS/idp/Scienceweek/sudoku/idpd3/run.idp
  92. 0
      MCS/idp/Scienceweek/sudoku/idpd3/timer.lua
  93. 0
      MCS/idp/Scienceweek/sudoku/idpd3/tprint.lua
  94. 0
      MCS/idp/Scienceweek/sudoku/sudoku.idp
  95. 0
      MCS/idp/Scienceweek/sudoku/sudoku_draw.idp
  96. 0
      MCS/idp/Scienceweek/sudoku/sudoku_instance_1.idp
  97. 0
      MCS/idp/Scienceweek/sudoku/sudoku_instance_2.idp
  98. 0
      MCS/idp/Scienceweek/sudoku/sudoku_solution.aidp
  99. 34
      MCS/idp/ex_2_2_9.idp
  100. 0
      MCS/notes.rnote
  101. Some files were not shown because too many files have changed in this diff Show More

@ -1 +1 @@
Subproject commit 7f64b1ede2c00fe3e314166b8f57cd2c4e5b9ab4
Subproject commit 2336352aac675c6081457227a22a4226c1e768da

Binary file not shown.

@ -1 +1 @@
Subproject commit 7d8b5d383460d83e0cc5ca300599c372ed7329f2
Subproject commit fc4614f954530d3090d55fc6f33a131cb7616317

@ -1,34 +0,0 @@
/*************
For new year, a company gives its employees a CD or a book. It gives its senior employees a pair of sunglasses or a scarf. It gives away one bike through a lottery. Specify the resulting state as one or more formula's about predicate $Gets/2$.
Take care to check that nobody has less or more than deserved.
Take care that your solution does not change if more elements are added to type Gifts.
*************/
vocabulary V{
type Employee constructed from {Sam, Anna, Harriet, Mike}
type Gift constructed from {cd,book,scarf,glasses,bike,villa}
Gets(Employee,Gift) // Gets(x,y) := Employee x receives gift y
Senior(Employee) // Senior(x) := x is a senior employee
}
theory T:V{
!e: (Gets(e, cd) | Gets(e, book)) & ~(Gets(e, cd) & Gets(e, book)). // Each employee gets either a CD or a book
!e: Senior(e) => (Gets(e, scarf) | Gets(e, glasses)) & ~(Gets(e, scarf) & Gets(e, glasses)). // Senior employees also get either a scarf or sunglasses
?e: Gets(e, bike) & !o: ~(o = e) => ~Gets(o, bike). // There is an employee that gets a bike and all other employees don't get a bike
!e: Senior(e) => !g: (~(g = cd) & ~(g = book) & ~(g = scarf) & ~(g = glasses) & ~(g = bike)) => ~Gets(e, g). // Senior employees can only get a CD, a book, a scarf, glasses or a bike and nothing else.
!e: ~Senior(e) => !g: (~(g = cd) & ~(g = book) & ~(g = bike)) => ~Gets(e, g). // Non-senior employees can only get a CD, a book or a bike and nothing else.
}
structure S:V{
Senior ={Sam;Anna}
}
procedure main(){
stdoptions.nbmodels = 2
printmodels(modelexpand(T,S))
}

Some files were not shown because too many files have changed in this diff Show More

Loading…
Cancel
Save