Na oficiálních stránkách aplikace jsou úplně dole odkazy pro jednotlivé platformy. Doporučuji stáhnout jednu verzi pro váš počítač (z důvodu správy karet, jednoduššího vytváření atd.) a druhou verzi pro váš telefon, kde budete aplikaci používat pro procvičování.

Aby jednotlivé balíčky byly mezi telefon a počítačem synchronizované, je potřeba založit si účet na webu https://ankiweb.net. Registrace je samozřejmě zdarma. Potřebovat budete jen svůj email a heslo. 

V aplikaci hledejte možnost stáhnout sdílené balíčky. Vyhledejte balíček FIT ČVUT BI-AAG (Automaty a gramatiky).

Pozor! Balíček se neudržuje aktualizovaný automaticky!

Jednou za čas tedy doporučuji stejným postupem balíček opět stáhnout. Nebojte, stáhnou se jen nové karty. Váš postup i vše ostatní bude zachováno. 

Karty doporučuji vytvářet v aplikaci Anki na vašem počítači. Vytvořte si vlastní nový lokální balíček (pojmenujte jej dle svého username). Přidejte nové karty. Balíček exportujte (vznikne soubor username.apkg). Tento soubor mi pošlete (eliska.sestakova@fit.cvut.cz). Já karty zkontroluji, přidám do sdíleného balíku a vám připíši body za aktivitu. Za každé 4 nové karty (které ještě ve sdíleném balíčku nejsou) máte nárok na 1 virtuální bod za aktivitu.

Při vytváření karty na líc napíšete pojem (definici, otázku, příklad), který si chcete vybavit a na rub napíšete správnou odpověď.

Může se vám stát (a pravděpodobně stane), že budete chtít vložit nějaké speciální symboly, matematické znaky a podobně. K tomu můžete využít prostředí latex (viz ukázky níže). Seznam latex příkazů pro většinu symbolů, které můžete potřebovat najdete například zde. Případně můžete také při tvorbě karet využít obrázky.