Open University

Tampere

Advanced Applied Logics, Online teaching

<p>Contact information<br>Email: <span class="spamspan"><span class="u">open.studies.tau</span> [at] <span class="d">tuni.fi</span></span><br>Phone: 0294 520 200</p><p>More information concerning Open University studies<br><a href="https://www.tuni.fi/open-university">tuni.fi/open-university</a></p>

Advanced studies

Faculty of Information Technology and Communication Sciences

Technology and Natural Sciences

<p>Apply for Open University studies by using the following links:</p><p><ul><li><a href="https://tau-avoin.ilmoittaudu.fi/lobby/?realization=J-otm-14de8f38-960f-4348-ae57-02919416ebfe_2023-tampere-MATHAPP820" target="_blank">MATH.APP.820 Advanced Applied Logics, online teaching, Tampere</a></li></ul></p><p>You can find a link to the Open University Admissions service and application instructions on the <a href="https://www.tuni.fi/en/study-with-us/open-higher-education-studies/open-university/applying-open-university">Applying to Open University studies</a> page.</p><p>Some of the studies require prior studies. For example, studying intermediate studies may require some completed basic studies. These are described on the Information about studies tab of the study unit under prior requirements.</p><p>When you have been admitted to the studies, you must enrol separately via the Sisu information system for the implementation of the unit of study and, for example if set, for a practise group of your choice. You will receive instructions on how to do this by e-mail after you have confirmed your acceptance of the study place by paying the required fee.</p>

English

Hervanta Campus

City Centre Campus

Online studies

<p>Look information at <a href="https://www.tuni.fi/en/study-with-us/open-higher-education-studies/open-university/applying-open-university">Applying to Open University studies</a>.</p>

<h5>Core content</h5><ul><li>An algebraic introduction to mathematical fuzzy logic; real life<br> situations where neither black-or-white logic nor statistical methods <br>are applicable.</li><li>Construction of the Lukasiewicz-Pavelka fuzzy logic from 6 algebraic axioms.</li></ul><h5>Complementary knowledge</h5><ul><li>Graded similarity as a base of fuzzy reasoning. Fuzzy IF-THEN rules. Constructing real world applications by means of multiple valued logic.<br>Para consistent logic in solving decision making problems. </li><li>Residuated lattices, Girard monoids, Heyting algebras, BL-algebras, Wajsberg algebras and MV-algebras. Semantics, syntax and completeness of various non-standard logics.</li></ul><p><br></p><p>This course will be lectured next time during the academic year 2021-22.</p>

<h2>Groups</h2><h3>Blended Learning: </h3><p>23.10.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>30.10.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>06.11.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>13.11.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>20.11.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>27.11.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br>04.12.2023 14:00 - 16:00, TAU Tietotalo TC215 Kooditorio (14)<br></p><h3>Other Event: </h3><p>27.10.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>30.10.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>03.11.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>06.11.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>10.11.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>13.11.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>17.11.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>20.11.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>24.11.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>27.11.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>01.12.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br>04.12.2023 15:00 - 17:00, TAU Pinni B0040 flippaustila (30)<br>08.12.2023 12:00 - 14:00, TAU S&#228;hk&#246;talo SG312 opetustila (48)<br></p>

<p>Undersanding the role of non classical logics in real life applications. The inreplay of logical systems and various algebraic structures via Lindembaum-Tarski theorem. Ability to prove the main algebraic results of the course.</p>

<h2>Prerequisites</h2><p>The course is not a continuation of any previous mathematics course, but requires 2-3 years of undergraduate study in mathematics in order to fully understand the abstract approach.</p>

<h5>Material</h5><ul><li>Type:&#160;Lecture slides</li><li>Author:&#160;Esko Turunen</li><li>Exam material:&#160;No</li><li>Language:&#160;English</li></ul>

Advanced Applied Logics, Online teaching

Extent

Course dates

Application period

Fees

Campus

City

Faculty or school

Language of instruction

Code

Study fields

Mode of study

Study level

Advanced Applied Logics, 5 cr

Contact information

How to apply

Payment terms

Give us feedback!

Your last viewed study options

Advanced Applied Logics, Online teaching