forked from greleigh/Logic-GU
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit e0ce735
Showing
159 changed files
with
22,762 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,131 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en-gb"> | ||
|
|
||
| <head> | ||
| <link href="http://gmpg.org/xfn/11" rel="profile"> | ||
| <meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
| <meta http-equiv="content-type" content="text/html; charset=utf-8"> | ||
|
|
||
| <!-- Enable responsiveness on mobile devices--> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1"> | ||
|
|
||
| <title> | ||
|
|
||
| 404: Page not found · Logic@GU | ||
|
|
||
| </title> | ||
|
|
||
| <!-- CSS styles --> | ||
| <link rel="stylesheet" href="/assets/css/poole.css"> | ||
| <link rel="stylesheet" href="/assets/css/syntax.css"> | ||
| <link rel="stylesheet" href="/assets/css/hyde.css"> | ||
| <link rel="stylesheet" href="/assets/css/logic.css"> | ||
| <!-- CSS typography --> | ||
| <link rel="stylesheet" href="https://use.typekit.net/tqt7eiw.css"> | ||
| <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css"> | ||
|
|
||
| <!-- Icons --> | ||
| <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/assets/logic-gu-144.png"> | ||
| <link rel="shortcut icon" type="image/png" sizes="64x64" href="/assets/logic-gu-64.png"> | ||
|
|
||
|
|
||
| <!-- RSS --> | ||
| <!-- <link rel="alternate" type="application/rss+xml" title="RSS" href="/atom.xml"> --> | ||
|
|
||
| <script type="text/x-mathjax-config"> | ||
| MathJax.Hub.Config({ | ||
| TeX: { | ||
| equationNumbers: { | ||
| autoNumber: "AMS" | ||
| } | ||
| }, | ||
| }); | ||
| MathJax.Hub.Register.MessageHook("Math Processing Error",function (message) { | ||
| alert("Math Processing Error: "+message[1]); | ||
| }); | ||
| MathJax.Hub.Register.MessageHook("TeX Jax - parse error",function (message) { | ||
| alert("Math Processing Error: "+message[1]); | ||
| }); | ||
| </script> | ||
| <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> | ||
| <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> | ||
| </head> | ||
|
|
||
| <body class="theme-base-0d"> | ||
|
|
||
| <div class="sidebar"> | ||
| <div class="container"> | ||
| <div class="sidebar-about"> | ||
| <h1> | ||
| <a href="/"> | ||
| Logic@GU | ||
| </a> | ||
| </h1> | ||
| <p class="lead">Homepage of the Logic Group at the University of Gothenburg. | ||
| </p> | ||
| </div> | ||
|
|
||
| <nav class="sidebar-nav"> | ||
| <!-- <a class="sidebar-nav-item" href="/">Home</a> --> | ||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/about">Logic Group</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/publications">Publications</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/seminars">Seminars</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/seminars/nol">NOL Seminar</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/lindstrom-lectures">Lindström Lectures</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/MiL">Master in Logic</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/activities">Activities</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/resources">Resources</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/events/wofpip">Workshop on FP & IP</a> | ||
|
|
||
|
|
||
| </nav> | ||
|
|
||
| <div class="sidebar-footer"><p>© 2023. All rights reserved.</p> | ||
| <!-- Maintained by <a href="https://www.gu.se/en/about/find-staff/grahamleigh">Graham Leigh</a>.<br/> --> | ||
| <p>Created with <a href="https://jekyllrb.com">Jekyll</a> and <a href="https://hyde.getpoole.com">Hyde</a>.</p></div> | ||
| </div> | ||
| </div> | ||
|
|
||
|
|
||
| <div class="content container"> | ||
| <div class="page"> | ||
| <h1 class="page-title">404: Page not found</h1> | ||
| <p class="lead">Sorry, we've misplaced that URL or it's pointing to something that doesn't exist. <a href="/">Head back home</a> to try finding it again.</p> | ||
| </div> | ||
|
|
||
| </div> | ||
|
|
||
| </body> | ||
|
|
||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| www.logic-gu.se |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,140 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en-gb"> | ||
|
|
||
| <head> | ||
| <link href="http://gmpg.org/xfn/11" rel="profile"> | ||
| <meta http-equiv="X-UA-Compatible" content="IE=edge"> | ||
| <meta http-equiv="content-type" content="text/html; charset=utf-8"> | ||
|
|
||
| <!-- Enable responsiveness on mobile devices--> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1"> | ||
|
|
||
| <title> | ||
|
|
||
| Master in Logic · Logic@GU | ||
|
|
||
| </title> | ||
|
|
||
| <!-- CSS styles --> | ||
| <link rel="stylesheet" href="/assets/css/poole.css"> | ||
| <link rel="stylesheet" href="/assets/css/syntax.css"> | ||
| <link rel="stylesheet" href="/assets/css/hyde.css"> | ||
| <link rel="stylesheet" href="/assets/css/logic.css"> | ||
| <!-- CSS typography --> | ||
| <link rel="stylesheet" href="https://use.typekit.net/tqt7eiw.css"> | ||
| <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.4.0/css/font-awesome.min.css"> | ||
|
|
||
| <!-- Icons --> | ||
| <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/assets/logic-gu-144.png"> | ||
| <link rel="shortcut icon" type="image/png" sizes="64x64" href="/assets/logic-gu-64.png"> | ||
|
|
||
|
|
||
| <!-- RSS --> | ||
| <!-- <link rel="alternate" type="application/rss+xml" title="RSS" href="/atom.xml"> --> | ||
|
|
||
| <script type="text/x-mathjax-config"> | ||
| MathJax.Hub.Config({ | ||
| TeX: { | ||
| equationNumbers: { | ||
| autoNumber: "AMS" | ||
| } | ||
| }, | ||
| }); | ||
| MathJax.Hub.Register.MessageHook("Math Processing Error",function (message) { | ||
| alert("Math Processing Error: "+message[1]); | ||
| }); | ||
| MathJax.Hub.Register.MessageHook("TeX Jax - parse error",function (message) { | ||
| alert("Math Processing Error: "+message[1]); | ||
| }); | ||
| </script> | ||
| <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> | ||
| <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> | ||
| </head> | ||
|
|
||
| <body class="theme-base-0d"> | ||
|
|
||
| <div class="sidebar"> | ||
| <div class="container"> | ||
| <div class="sidebar-about"> | ||
| <h1> | ||
| <a href="/"> | ||
| Logic@GU | ||
| </a> | ||
| </h1> | ||
| <p class="lead">Homepage of the Logic Group at the University of Gothenburg. | ||
| </p> | ||
| </div> | ||
|
|
||
| <nav class="sidebar-nav"> | ||
| <!-- <a class="sidebar-nav-item" href="/">Home</a> --> | ||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/about">Logic Group</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/publications">Publications</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/seminars">Seminars</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/seminars/nol">NOL Seminar</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/lindstrom-lectures">Lindström Lectures</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/MiL">Master in Logic</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/activities">Activities</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/resources">Resources</a> | ||
|
|
||
|
|
||
|
|
||
| <a class="sidebar-nav-item" href="/events/wofpip">Workshop on FP & IP</a> | ||
|
|
||
|
|
||
| </nav> | ||
|
|
||
| <div class="sidebar-footer"><p>© 2023. All rights reserved.</p> | ||
| <!-- Maintained by <a href="https://www.gu.se/en/about/find-staff/grahamleigh">Graham Leigh</a>.<br/> --> | ||
| <p>Created with <a href="https://jekyllrb.com">Jekyll</a> and <a href="https://hyde.getpoole.com">Hyde</a>.</p></div> | ||
| </div> | ||
| </div> | ||
|
|
||
|
|
||
| <div class="content container"> | ||
| <main class="page"> | ||
| <h1 class="page-title">Master in Logic</h1> | ||
|
|
||
| <p>Below is a summary of the Master’s programme in Logic at the University of Gothenburg. | ||
| For full details and application procedure, see the <a href="https://www.gu.se/en/study-gothenburg/logic-masters-programme-h2log">official webpage of the Master’s Programme in Logic</a>.</p> | ||
|
|
||
| <p>The purpose of the Master’s Programme in Logic is to provide a new generation of students with thorough theoretical knowledge, and the ability to apply it, within a central intellectual field, which gets its theoretical interest and practical value from a unique combination of humanities, mathematics and information science. For the Faculty of Humanities this is a commitment to promote and further develop the field of mathematical humanities.</p> | ||
|
|
||
| <p>The main goal is that students, after successful completion of the programme, will have a coherent training and thorough understanding of the theoretical fundamentals of the subject of logic itself, its general role in the sciences and humanities, as well as its applications in fields like philosophy, linguistics, mathematics and computer science. Students will be well prepared for a career of research and development in logic and its applications, both in academia and industry.</p> | ||
|
|
||
| <p>The programme starts with a number of core courses, common for all students, which provide a solid foundation in the fundamentals of theoretical logic and its applications, and then follow elective courses, tailored to the background, interests and career plans for individual students.</p> | ||
|
|
||
| </main> | ||
|
|
||
| </div> | ||
|
|
||
| </body> | ||
|
|
||
| </html> |
Oops, something went wrong.