Zabawy z formalizmem

Zabawy z formalizmem Adam Dzedzej III LO Gdynia Sielpia 2017 Adam Dzedzej Zabawy z formalizmem Sielpia 2017 1 / 28

Plan Trudne zadania testowe z Gra z symbolami logicznymi Lingwistyka Matematyczna? Adam Dzedzej Zabawy z formalizmem Sielpia 2017 2 / 28

Test 2016 Następujące zadanie było jednym z najtrudniejszych na ubiegłorocznym teście OMJ: Adam Dzedzej Zabawy z formalizmem Sielpia 2017 3 / 28

Modyfikacja Może wypróbować następującą wersję Zadanie Liczba wymierna x spełnia równanie (x 1)(x 5) = 0. Wynika z tego, że (a) liczba x jest równa 1; (b) liczba x jest równa 5; (c) liczba x jest nieparzysta. Ciekawe, czy wyniki będą dużo lepsze? Adam Dzedzej Zabawy z formalizmem Sielpia 2017 4 / 28

Test 2016 Jeszcze trzy wnioskowania z tego testu Adam Dzedzej Zabawy z formalizmem Sielpia 2017 5 / 28

Test 2016 I taka pułapka: Adam Dzedzej Zabawy z formalizmem Sielpia 2017 6 / 28

Test 2016 Adam Dzedzej Zabawy z formalizmem Sielpia 2017 7 / 28

Test 2016 A jaka jest logika odpowiedzi NTN? Adam Dzedzej Zabawy z formalizmem Sielpia 2017 7 / 28

Test 2017 Za to w tym roku znalazło się takie ładne zadanko: Adam Dzedzej Zabawy z formalizmem Sielpia 2017 8 / 28

Ulubione zadanie Na deser zadanie z obozu OMG (już nie testowe) Adam Dzedzej Zabawy z formalizmem Sielpia 2017 9 / 28

Ulubione zadanie Na deser zadanie z obozu OMG (już nie testowe) Wskazówka. Co to jest długość? Adam Dzedzej Zabawy z formalizmem Sielpia 2017 9 / 28

Gra Gra Tu rekwizyty. Niestety gra nie została dopracowana, bo od kilku lat nie mam okazji jej używać nie uczę o tabelkach z wartościowaniami. Podstawowe zasady: Wylosowane żetony układamy na zmianę na planszy. Cel jednego z graczy, to formuła prawdziwa, a drugiego fałszywa. Adam Dzedzej Zabawy z formalizmem Sielpia 2017 10 / 28

Lingwistyka OLM W roku 2017/2018 mamy XVI edycję Olimpiady Lingwistyki Matematycznej Rok dłużej istnieje Olimpiada Międzynarodowa. Dlaczego właściwie w szkole zajmuje się tym konkursem matematyk? Niestety większość przykładów zadań jest po angielsku. Ale i tak nie ma czasu, by wniknąć w treść tych zadań. Chcę tylko pokazać o czym one bywają. Adam Dzedzej Zabawy z formalizmem Sielpia 2017 11 / 28

Lingwistyka Adam Dzedzej Zabawy z formalizmem Sielpia 2017 12 / 28

Lingwistyka North American Computational Linguistics Olympiad 2015 www.naclo.cs.cmu.edu Open Round January 29, 2015 Adam Dzedzej Zabawy z formalizmem Sielpia 2017 16 / 28

Lingwistyka ÇŃËÎ ŇßÓŰć řďë ± ÎŰŮ ÍĚÎßĚ ŃŇ ýć ÇŃËÎ ŇßÓŰć řďë ± ÎŰŮ ÍĚÎßĚ ŃŇ ýć Adam Dzedzej Zabawy z formalizmem Sielpia 2017 17 / 28

Lingwistyka YOUR NAME: REGISTRATION # (R) Poles Apart (1/10) [15 points] And you thought that learning the periodical table was hard. Now try doing it in Polish! How about in Polish Sign Language? The next page lists all chemical elements in English. The seven pages thereafter include the names of 40 of them, written in Polish Sign Language. Figure out how this language works and then use it to write the names of the following chemical elements: Selenium, Molybdenum, Helium, Xenon, Ytterbium using the key on the last page of the problem. In each box add the numeric code for the sign. Note: knowledge of Chemistry is not needed to solve this problem. R1. Selenium R2. Molybdenum R3. Helium R4. Xenon R5. Ytterbium YOUR NAME: REGISTRATION # (R) Poles Apart (2/10) Actinium Fluorine Nitrogen Tellurium Aluminum Francium Nobelium Terbium Americium Gadolinium Osmium Thallium Antimony Gallium Oxygen Thorium Argon Germanium Palladium Thulium Arsenic Gold Phosphorus Tin Astatine Hafnium Platinum Titanium Barium Hassium Plutonium Tungsten Berkelium Helium Polonium Uranium Beryllium Holmium Potassium Vanadium Bismuth Hydrogen Praseodymium Xenon Bohrium Indium Promethium Ytterbium Boron Iodine Protactinium Yttrium Bromine Iridium Radium Zinc Cadmium Iron Radon Zirconium Calcium Krypton Rhenium Californium Lanthanum Rhodium Carbon Lawrencium Roentgenium Cerium Lead Rubidium Cesium Lithium Ruthenium Chlorine Lutetium Rutherfordium Chromium Magnesium Samarium Cobalt Manganese Scandium Copper Meitnerium Seaborgium Curium Mendelevium Selenium Darmstadtium Mercury Silicon Dubnium Molybdenum Silver Dysprosium Neodymium Sodium Einsteinium Neon Strontium Erbium Neptunium Sulfur Europium Nickel Tantalum Fermium Niobium Technetium Adam Dzedzej Zabawy z formalizmem Sielpia 2017 25 / 28

Lingwistyka YOUR NAME: REGISTRATION # (R) Poles Apart (3/10) 1. YOUR NAME: REGISTRATION # (R) Poles Apart (4/10) 7. YOUR NAME: REGISTRATION # (R) Poles Apart (5/10) 13. 2. XVII VII V V XIII II 8. IX XV VII XXI VI XXI 14. XIV XVI VIII III XIII XVII 3. XVII VII X XXI VII XVII 9. IX I V XVI XIX VI II XXI 15. XXII XII II IX VI XXI 4. I IX XVII XII XXI 10. I II XI VI XXI 16. I III VII II XII IX 5. XIV VII II XII V 11. II VI VII XXI XVII XI VII XXI 17. IX II XII IV XVII VI XXI 6. X II VI III 12. II I XVIII VI XXI 18. XVII I XXI XVII I V II XIII XVII XX VII II XIX VI II XVIII XVII XII XVII I XXI XVII XIII V Adam Dzedzej Zabawy z formalizmem Sielpia 2017 26 / 28

Lingwistyka Bardzo dziękuję za uwagę! Adam Dzedzej Zabawy z formalizmem Sielpia 2017 27 / 28