Atšķirības starp "Sākumlapa" versijām

No ''Agra piezīmju blociš''
Pārlēkt uz: navigācija, meklēt
(Spēles)
m (Automātu Teorija un Formālās Gramatikas)
4. rindiņa: 4. rindiņa:
 
Šeit ir vispārīgs tēmu uzskaitījums, kuru lēnā garā taisos detalizēt.
 
Šeit ir vispārīgs tēmu uzskaitījums, kuru lēnā garā taisos detalizēt.
  
=== Automātu Teorija un Formālās Gramatikas ===
+
=== [[Automātu Teorija un Formālās Gramatikas]] ===
 
# Magazīnas automātu "normālformas"
 
# Magazīnas automātu "normālformas"
 
# Tīmekļa rīks galīgu automātu (determinētu, nedeterminētu, magazīnas) būvei, darbināšanai un pārveidei. Kaut kas [http://www.automatatutor.com/ tāds].
 
# Tīmekļa rīks galīgu automātu (determinētu, nedeterminētu, magazīnas) būvei, darbināšanai un pārveidei. Kaut kas [http://www.automatatutor.com/ tāds].

Versija, kas saglabāta 2016. gada 22. februāris, plkst. 21.55

Šajā vietnē Latvijas Universitātes Datorikas fakultātes docents un Matemātikas un informātikas institūta vadošais pētnieks Agris Šostaks apkopo dažādas interesantas ar datorzinātnēm saistītas tēmas, kas galvenokārt varētu tikt attīstītas studiju darbu (kvalifikācijas, kursa, bakalaura, maģistra) veidā.

Tēmas

Šeit ir vispārīgs tēmu uzskaitījums, kuru lēnā garā taisos detalizēt.

Automātu Teorija un Formālās Gramatikas

  1. Magazīnas automātu "normālformas"
  2. Tīmekļa rīks galīgu automātu (determinētu, nedeterminētu, magazīnas) būvei, darbināšanai un pārveidei. Kaut kas tāds.
  3. Automātiska risinājuma pārbaude un novērtēšana
  4. Problēmu ģenerēšana

Šahs

  1. Šaha uzdevumu MATS X GĀJIENOS ģenerēšana
  2. Šaha uzdevumu Skaistuma novērtēšana
  3. Vai cilvēks + dators spēlē labāk nekā tikai dators?

Flexible Modeling

  1. Diagrammu zīmēšanas rīks (~ Powerpoint vai Visio)
  2. Diagrammu zīmēšanas rīks ar manuālu semantikas pievienošanu
  3. Diagrammu zīmēšanas rīks ar pusautomātisku semantikas pievienošanu (semantikas inference)
  4. Ne-grafu diagrammu formalizācija

Vaicājumu valodas

  1. Grafiskas vaicājumu valodas izstrāde
  2. Grafiskas vaicājumu valodas rīka izstrāde
  3. Uz dabīgo valodu balstītas vaicājumu valodas izmantojamo konstrukciju sarežģītība
  4. Vaicājumu žurnāla izmantošana datu shēmas uzlabošanai

Ģenerēšana

  1. Regulāro izteiksmju ģenerēšana no piemēriem
  2. Bezkonteksta gramatiku ģenerēšana no piemēriem
  3. Regulāro izteiksmju krustvārdu mīklu automātiska ģenerēšana
  4. Dotajiem datiem līdzīgu datu ģenerēšana
  5. Ainavu ģenerēšana
  6. Induktīvā programmēšana

Spēles

  1. Procedural Content Generation (PCG) in Games
  2. General Game Playing
  3. Model Driven Engineering (MDE) spēļu izstrādē
  4. Galda spēļu botu izstrāde ar mašīnmācīšanās metodēm
  5. Domeina specifisku valodu (DSL) izstrāde spēļu aprakstīšanai
  6. Galīgu automātu, regulāru izteiksmju, gramatiku pielietojums spēļu izstrādē