Logikai formulák tanulása

QR kód

Logikai formulák tanulása

Elmentve itt :

Bibliográfiai részletek
Szerző:	Palkovics Ferenc
További közreműködők:	Dombi József (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1997
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/1563

Hasonló tételek

Egyes logikai formulák tanulása
Szerző: Szász Péter
Megjelent: (1994)

Logikai formulák tanulása a Tiling algoritmussal
Szerző: Nemes László
Megjelent: (1992)

Logikai formulák
Szerző: Boros Béla
Megjelent: (1998)

Logikai formulák átalakításai
Szerző: Kuklis Krisztián
Megjelent: (1999)

TEX formulák fordítása Maple nyelvre
Szerző: Bicsák Attila
Megjelent: (1999)

Interpolációs formulák
Szerző: Katona Tünde
Megjelent: (1982)

TEX-formulák konverziója a MAPLE számára
Szerző: Váradi Gergely
Megjelent: (1998)

A Horn formulák és a lineáris programozás
Szerző: Szilágyi Gyöngyi
Megjelent: (1995)

PROLOG programok tanulása
Szerző: Harmath László
Megjelent: (1994)

Attribútum nyelvtanok tanulása
Szerző: Zvada Szilvia
Megjelent: (1996)

Szabályhalmazok tanulása Prolog-al
Szerző: Török Andrea
Megjelent: (1999)

Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése
Szerző: Surányi Tamás
Megjelent: (2018)

Ítéletkalkulusbeli formulák kielégíthetőségének eldöntése
Szerző: Szlavikovics Máté
Megjelent: (2023)

Logikai adatelemzés
Szerző: Farkas Mónika
Megjelent: (2007)

Matematikai formulák beágyazása vektortérbe [absztrakt] /
Szerző: Zombori Zsolt
Megjelent: (2024)

Attribútum nyelvtanok szemantikus függvényeinek tanulása
Szerző: Perecz Attila, et al.
Megjelent: (2001)

Attribútum nyelvtanok szemantikus függvényeinek tanulása
Szerző: Zvada Szilvia
Megjelent: (1998)

Logikai programok szeletelése
Szerző: Pere László
Megjelent: (2000)

Kétszemélyes játék stratégiájának tanulása neuronháló segítségével
Szerző: Kis-Gadó Csaba
Megjelent: (2008)

Felismerhető nyelvek logikai jellemzése
Szerző: Danyi András
Megjelent: (1996)

Logikai programok statikus analízise
Szerző: Harmath László
Megjelent: (1996)

Logikai feladatgyűjtemény középiskolások számára
Szerző: Ott Andrea
Megjelent: (2001)

Logikai programok párhuzamos végrehajtása
Szerző: Tóth Márton
Megjelent: (1999)

Aritmetikai és logikai kifejezések kiértékelése
Szerző: Róka Zsuzsanna
Megjelent: (1988)

Attribútum nyelvtanok numerikus formában adott szemantikus függvényeinek tanulása
Szerző: Debera Csaba
Megjelent: (2001)

Következtetési formulák az általános iskolai matematika oktatásban
Szerző: Sáriné Balogh Éva
Megjelent: (1989)

Tudományos nyelvi formulák angol alapszakos szakdolgozatok bevezetőjében
Szerző: Doró Katalin
Megjelent: (2012)

Többértékű logikai függvények optimalizálása fagráfok segítségével
Szerző: Péhl Katalin
Megjelent: (1989)

Programozási nyelvek szemantikájának megadása logikai úton
Szerző: Gombás Éva
Megjelent: (1979)

Logikai táblás játékok Palm OS operációsrendszerre
Szerző: Földi Róbert
Megjelent: (2007)

Logikai táblás játék készítése kézi számítógépre
Szerző: Somlai Judit
Megjelent: (2007)

A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok
Szerző: Gáncs István
Megjelent: (1981)

Az Othello logikai játék számítógépes megvalósítása
Szerző: Hárai Tibor
Megjelent: (2001)

Logikai játék CLEAN funkcionális programozási nyelven
Szerző: Kállai Péter
Megjelent: (2001)

Logikai következtetések és azok kiterjesztése optimalizálással
Szerző: Szarvas György
Megjelent: (2001)

Az amőba logikai játék számítógépes megvalósítása
Szerző: Majer Péter
Megjelent: (1998)

Az AM-TRIS logikai játék elemzése
Szerző: Paulik Attila
Megjelent: (1998)

Segédprogram logikai függvények minimalizálásához és oktatásához
Szerző: Miklósi József
Megjelent: (2000)

Ötös malom logikai játék mobil eszközön
Szerző: Balog Szabolcs
Megjelent: (2011)

A logikai programozás és a PROLOG nyelv.
Szerző: Möslein Andrea
Megjelent: (1983)