Szerző szerinti böngészés "Tanyi, Attila"

Megjelenítve 1 - 3 (Összesen 3)
  • Bélyegkép
    TételSzabadon hozzáférhető
    Algoritmusok a tételbizonyításban
    (2009-05-08T09:16:55Z) Tanyi, Attila; Tanyi, Attila; DE--TEK--Informatikai Kar
    Automatikus tételbizonyítás az ítéletlogikában. A Davis-Putnam algoritmus. Rezolúciós kalkulus. Konjunkciós normálformává alakítás. KNF minimalizálása Quine-McCluskey-algoritmussal.
  • Bélyegkép
    TételKorlátozottan hozzáférhető
    Soft computing módszerek az optimalizálásban
    (2011-05-31T13:25:51Z) Tanyi, Attila; Várterész, Magda; DE--TEK--Informatikai Kar
    Soft computing módszerek, genetikus algoritmus, PSO algoritmus, szimulált hűtés és tabu keresés bemutatása mérési eredményekkel egy gyakorlati példán keresztül.
  • Nincs kép
    TételKorlátozottan hozzáférhető
    Truth-teller-liar puzzles - a genetic algorithm approach
    (2010-10-13) Tanyi, Attila; Nagy, Benedek; Informatikai Kar