[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science"></meta>
<meta name="description"
      content="Website for the Department of Computer Science at the heart of computing and related interdisciplinary activity at Oxford."></meta>
<title>Logic and Proof</title>
[an error occurred while processing this directive]
<div class="content-width">
   <ol class="breadcrumb text-uppercase">
      <li>
         <a href="/">Home</a>
      </li>
      <li>
         <a href="/ourstudents/index.html">Our Students</a>
      </li>
      <li>
         <a href="/teaching/courses/">Courses</a>
      </li>
      <li>
         <span class="youarehere">Logic and Proof</span>
      </li>
   </ol>
</div>
<div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div>
<div class="container-fluid content-width">
   <div class="row">
      <div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent">
         <h1>Logic and Proof: 
            2017-2018
         </h1>
         <h2>Timetables</h2>
         <table>
            <tr>
               <td class="personInfo">
                  <p>
                     <b>Lecturer</b>
                  </p>
               </td>
               <td>
                  <p class="listedlinks">
                     <a href="/people/Christoph.Haase">Christoph Haase</a>
                  </p>
               </td>
            </tr>
            <tr>
               <td class="personInfo">
                  <p>
                     <b>Term</b>
                  </p>
               </td>
               <td>
                  <p class="listedlinks">Hilary Term 2018
                      (16 lectures)
                     
                  </p>
               </td>
            </tr>
            <tr>
               <td class="personInfo"
                   style="vertical-align: top; padding-top: 11px; padding-right: 1em">
                  <p>
                     <strong>Classes</strong>
                  </p>
               </td>
               <td>
                  <div style="margin-bottom: 18px">
                     <h4>Hilary Term 2018</h4>
                     <div>
                        <p class="listedlinks">Group 1 - Thursday, 
                           10:00 - 11:00
                           ( 
                           Weeks 3,5,6,7,8 )
                           
                           <em>Room 441</em>
                        </p>
                     </div>
                     <div>
                        <p class="listedlinks">Group 2 - Thursday, 
                           10:00 - 11:00
                           ( 
                           Weeks 3,5,6,7,8 )
                           
                           <em>Room 013 RHB</em>
                        </p>
                     </div>
                  </div>
               </td>
            </tr>
            <tr>
               <td class="personInfo"
                   style="vertical-align: top; padding-top: 11px; padding-right: 1em">
                  <p>
                     <strong>Lectures</strong>
                  </p>
               </td>
               <td>
                  <div style="margin-bottom: 18px">
                     <h4>Hilary Term 2018</h4>
                     <div>
                        <p class="listedlinks">Tuesday, 
                           11:00 - 12:00
                           ( 
                           Weeks 1-8 )
                           
                           <em>LTA</em>
                        </p>
                     </div>
                     <div>
                        <p class="listedlinks">Wednesday, 
                           11:00 - 12:00
                           ( 
                           Weeks 1-8 )
                           
                           <em>LTA</em>
                        </p>
                     </div>
                  </div>
               </td>
            </tr>
         </table>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <h2 class="side-menu-title text-uppercase">
            <a href="/ourstudents/index.html">Our Students</a>
         </h2>
         <ul class="side-menu">
            <li class="active mobile-menu-source">
               <a href="/teaching/courses/">Course A-Z</a>
               <ul>
                  <li class="side-menu-heading mobile-menu-source">Logic and Proof</li>
                  <ul class="subnav">
                     <li>
                        <a href="/teaching/courses/2017-2018/logicandproof/index.html" class="menu">Information</a>
                     </li>
                     <li>
                        <a href="/teaching/courses/2017-2018/logicandproof/timetable.html" class="menu">
                           <strong>Timetables</strong>
                        </a>
                     </li>
                     <li>
                        <a href="/teaching/internal/courses/2017-2018/logicandproof/material.html"
                           class="menu">Course materials</a>
                     </li>
                     <li>
                        <a href="/teaching/internal/courses/2017-2018/logicandproof/pastpapers.html"
                           class="menu">Past exam papers</a>
                     </li>
                     <li>
                        <a href="/teaching/internal/samplesolutions/index.html?courseAcademicYear=20172018&amp;shortName=logicandproof#logicandproof"
                           class="menu">Sample solutions</a>
                     </li>
                     <li>
                        <a href="/teaching/internal/courses/2017-2018/logicandproof/pastmaterials.html"
                           class="menu">Previous course materials</a>
                     </li>
                  </ul>
               </ul>
            </li>
            <li>
               <a href="/ourstudents/degrees.html">Degrees</a>
            </li>
            <li>
               <a href="/teaching/handbooks.html">Online Resources &amp; Handbooks</a>
            </li>
            <li>
               <a href="/minerva/">Minerva</a>
            </li>
            <li>
               <a href="/teaching/examinations/">Examinations</a>
            </li>
            <li>
               <a href="/teaching/timetables/">Timetables</a>
            </li>
         </ul>
      </div>
   </div>
</div>
[an error occurred while processing this directive]