Organon V M. Peliš Tarski’s World Version 4.0 for MS Windows.

Slides:



Advertisements
Podobné prezentace
Podpora výuky matematiky prostřednictvím programu Maple
Advertisements

Tento vzdělávací materiál vznikl v rámci projektu EU – peníze školám Název projektu : Objevujeme svět kolem nás Reg. číslo projektu: CZ.1.07/1.4.00/
Microsoft Silverlight
Cvičení Úloha 1: Rozhodněte zda posloupnost znaků v poli délky n tvoří palindrom (slovo, které je stejné při čtení zprava i zleva). Př.: [a,l,e,l,a] [a,n,n,a]
Příprava odborného textu pro výuku PAVEL KURFÜRST Ústav cizích jazyků LF UP Konference Cizí jazyky na Univerzitě Palackého Olomouc, 20. dubna 2006.
Číslo šablony: III/2 VY_32_INOVACE_P4_3.10 Tematická oblast: Aplikační software pro práci s informacemi II. HTML - tagy Typ: DUM - kombinovaný Předmět:
Organon Interaktivní webová aplikace pro výuku logiky
TABULKOVÉ PROCESORY.
Obchodní akademie, Ostrava-Poruba, příspěvková organizace Vzdělávací materiál/DUM VY_32_INOVACE_01C11 Autor Ing. Jiří Kalousek Období vytvoření březen.
32 - Informace Sekvence „symbolů“ s nějakým významem. Jsou uchovávány v paměti.
Základní pojmy V informatice.
4IZ 229 – Cvičení 4 Složitější vlastnosti systému NEST Vladimír Laš.
Informační systémy Modelování dynamiky objektového modelu. Koncepce modelu v programu MS Visio.
Název projektu : Modernizace výuky Grantový projekt : CZ.1.07/1.1.16/ Multimediální učební materiál pro výuku předmětu automatizace Téma : PLC SIMATIC.
A1PRG - Programování – Seminář Ing. Michal Operátory (2. část) 4 Verze
Identifikátor materiálu: EU
Úvod do databázových systémů
Základy práce na PC Ing. Jan Roubíček.
Predikátová logika.
Predikátová logika.
Výroková logika (analytické myšlení, úsudky)
Kontrola otevřených portů
Jazyk PHP Programovací jazyk PHP (Hypertext preprocessor) je skriptovací jazyk, který běží na straně serveru. KLIENT - SERVER Server posílá do vašeho počítače.
T1: Základy práce s počítačem
Obchodní akademie, Ostrava-Poruba, příspěvková organizace Vzdělávací materiál/DUM VY_32_INOVACE_01C17 Autor Ing. Jiří Kalousek Období vytvoření březen.
FÁZE NÁCVIKU SLOHOVÉHO PROJEVU
NEÚPLNÁ PODMÍNKA V JAVĚ. VÝVOJOVÝ DIAGRAM +- Podmínka Příkaz_1.
SOFTWARE, USPOŘÁDÁNÍ DAT V POČÍTAČI I. Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Světlana Filipová Materiál zpracován v rámci projektu.
POWER POINT 1 Základní pojmy Power Point - základní pojmy.
Definice, věta, důkaz.
Vzdálené počítačové sítě a programování v prostředí Windows – kombinované studium Osnovy předmětu a koncepce výuky Ing. Zdeněk Votruba LVALVA.
4IZ 229 – Cvičení 2 Tvorba báze znalostí Vladimír Laš.
Výroková logika.
Druhá a třetí mocnina a odmocnina - shrnutí
Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce
MS WINDOWS Plocha. Plocha  Deska pracovního stolu  Výchozí bod pro práci s PC  Na každém počítači může vypadat různě  Uživatel si ji může sám upravovat.
Název školyStřední odborná škola a Gymnázium Staré Město Číslo projektuCZ.1.07/1.5.00/ AutorIng. Ivana Brhelová Název šablonyIII/2.
SOFTware Adresář, soubor, OS Informatika – 6. třída Bc. Josef Štainer
Autor:Jiří Gregor Předmět/vzdělávací oblast: Informační a komunikační technologie Tematická oblast:Práce se standardním aplikačním programovým vybavením.
Výroková logika.
AnotacePrezentace, která se zabývá opakováním a doplněním znalostí o shodnosti. AutorMgr. Václav Simandl JazykČeština Očekávaný výstupŽáci poznají shodnost.
doc. RNDr. Zdeněk Botek, CSc.
VY_32_INOVACE_07_Malování ve Windows – úkol Název školy: Základní škola a Mateřská škola Křetín, okres Blansko, příspěvková organizace Číslo projektu:
Obchodní akademie, Ostrava-Poruba, příspěvková organizace Vzdělávací materiál/DUM VY_32_INOVACE_01C15 Autor Ing. Jiří Kalousek Období vytvoření březen.
Počítačová grafika a CAD 1 Ukládání obrázků do různých formátů.
Visual Basic - programování
Konstrukce trojúhelníku
Polohové a metrické úlohy v trojúhelníku Autor: Mgr. Eva Hubáčková Použití: řešení polohových a metrických úloh v trojúhelníku v analytické geometrii Datum.
Skalární součin Autor: Mgr. Eva Hubáčková Použití: odvození a procvičení pojmu skalární součin Datum vypracování: Datum pilotáže:.2013 Anotace:
OPERAČNÍ SYSTÉM.
Počítačové zpracování češtiny v Ústavu formální a aplikované lingvistiky
Diskový oddíl. Diskové oddíly (partition) slouží k rozdělení fyzického disku na logické oddíly, se kterými je možné nezávisle manipulovat jeden disk se.
IrfanView (5). Projekt: CZ.1.07/1.5.00/ OAJL - inovace výuky Příjemce: Obchodní akademie, odborná škola a praktická škola pro tělesně postižené,
Uživatelský software 1./2 A4 kabinet Aut – suterén / 15 cvičení (4 témata) - na konci.
KURZ ALGORITMIZACE A PROGRAMOVÁNÍ V JAZYCE C Lekce č. 2: Základní pojmy Bc. Radek Libovický.
Konstrukce trojúhelníku Známe-li všechny 3 jeho strany. Konstrukce podle věty sss (strana, strana, strana)
KURZ ALGORITMIZACE A PROGRAMOVÁNÍ V JAZYCE C Lekce č. 1: Úvod Bc. Radek Libovický.
Datové typy MS Access (3). Projekt: CZ.1.07/1.5.00/ OAJL - inovace výuky Příjemce: Obchodní akademie, odborná škola a praktická škola pro tělesně.
SOFTWARE Operační systémy.
Petr Fodor.
NÁZEV ŠKOLY: Základní škola Strančice, okres Praha - východ
Vlastnosti souborů Jaroslava Černá.
VY_32_INOVACE_CIT_12 Komparátory.
Zdravotnický management
IDENTIFIKÁTOR MATERIÁLU: EU
CZ.1.07/1.4.00/ číslo a název klíčové aktivity III/2
METODOLOGIE PROJEKTOVÁNÍ
Cyklus for (1) Obecný tvar: for (výraz1; výraz2; výraz3) příkaz
Sémantika PL1 Interpretace, modely
Systém souborů 1.
Transkript prezentace:

Organon V M. Peliš Tarski’s World Version 4.0 for MS Windows

Tarski’s World kniha Jon Barwise & John Etchemendy Tarski’s World. CSLI, Stanford, 1993 webhttp://www-csli.stanford.edu/hp

Tarski’s World cíl: naučit významu a používání symbolů PL 1. porozumění (pasivní znalost) 2. používání (aktivní znalost) doplněk klasických kurzů a učebnic množství příkladů

Tarski’s World Co lze v TW dělat: Vytvářet „svět“ z objektů tří tvarů a tří různých velikostí Popisovat „svět“ pomocí symbolů PL a vybraných mimologických symbolů (interpretovaný jazyk) Kontrolovat syntax flí a sentencí Ověřovat pravdivost sentencí v daném „světě“

Tarski’s World – software 76 souborů (tarski.exe + složka Exercise) 488 kB na disku

Tarski’s World – sémantická hra produkuje „výzvy“ a student 1. musí promyslet (a zdůvodnit), proč je „výzva“ právě taková 2. navrhne další krok („výzvu“) 3. sám navrhne posloupnost „výzev“ 4. odvodí význam výroku 5. odvodí obecný význam dané logické formy

Tarski’s World – cvičení VL, PL teoretičtější pravdivost v jednom světě a platnost ve všech světech pravdivost v jednom světě a platnost ve všech světech interpretovaný a neinterpretovaný jazyk interpretovaný a neinterpretovaný jazyk omezení jazyka TW omezení jazyka TW expanze a kontrakce světů a zachování pravdivosti expanze a kontrakce světů a zachování pravdivosti elementární ekvivalence dvou světů elementární ekvivalence dvou světů