Wiki source code of Dependence logic, fall 2012

Last modified by jvaanane@helsinki_fi on 2024/03/27 10:35
Show last authors
1 = Laboratory of dependence logic, fall 2012 =
2
3 === Lecturer ===
4
5 [[Juha Kontinen>>doc:mathstatHenkilokunta.Kontinen, Juha]]
6 [[Jouko Väänänen>>doc:mathstatHenkilokunta.Väänänen, Jouko]]
7
8 === Contents ===
9
10 We investigate recent developments in [[dependence logic>>url:http://en.wikipedia.org/wiki/Dependence_logic||shape="rect"]].
11
12 === Scope ===
13
14 5 cu.
15
16 === Type ===
17
18 Advanced studies
19
20 === Prerequisites ===
21
22 The textbook [[Dependence Logic>>url:http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521876599||shape="rect"]] is by and large assumed.
23
24 === Lectures ===
25
26 Weeks 36-42, Monday 10-14 in room C130.
27
28 === Exams ===
29
30 === Bibliography ===
31
32 [[Dependence Logic>>url:http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521876599||shape="rect"]], A good source of recent work is the [[doctoral thesis>>url:http://www.illc.uva.nl/Research/Dissertations/DS-2012-07.text.pdf||shape="rect"]] of P. Galliani and the Wikipedia page [[dependence logic>>url:http://en.wikipedia.org/wiki/Dependence_logic||shape="rect"]].
33
34 === [[Registration>>url:https://oodi-www.it.helsinki.fi/hy/opintjakstied.jsp?html=1&Tunniste=57222||shape="rect"]] ===
35
36 Did you forget to register? [[What to do>>doc:mathstatOpiskelu.Kysymys4]].