Találati lista | Tudóstér

001-es BibID:	BIBFORM007239
Első szerző:	Hajdu András (matematikus, informatikus)
Cím:	Choosing appropriate distance measurement in digital image segmentation / A. Hajdu, J. Kormos, B. Nagy, Z. Zörgő
Dátum:	2004
ISSN:	0138-9491
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:	Annales Universitatis Scientarium Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. - 24 (2004), p. 193-208. -
További szerzők:	Nagy Benedek (1973-) (informatikus, matematikus) Zörgő Zoltán Kormos János (1952-2015) (matematikus)
Internet cím:	elektronikus változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM037367
Első szerző:	Kádek Tamás (programtervező matematikus)
Cím:	Press-ready deduction trees in classical logic using point-plus-expressions / Kádek Tamás
Dátum:	2012
Megjegyzések:	The LATEX system is widely used in scientific journals with syntactically rich mathematical expressions. It is suitable not only for high-quality press-ready production, but also it can be applied for the development of dynamic presentations and learning materials containing many nice formulas. The need to construct numerous derivations using Gentzen style sequent calculus, gives the idea to automatize the process (which was implemented in the GenTreeCad application). The point-plus-expressions show, how to use an existing derivation to produce different solutions by di erent theorem proving methods.In this artice, we try to demonstrate the capability of point-plus-expressions meanwhile we are using them for automatic theorem proving. We want to show { using propositional logic { how we could take the advantages of the connection between the resolution and it's dual one, then the connection between sequent calculus and the tableau method as well.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban mathematical logic mechanical theorem proving
Megjelenés:	Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 37 (2012), p. 229-238. -
Pályázati támogatás:	TÁMOP-4.2.2/B-10/1-2010-0024 TÁMOP
Internet cím:	Szerző által megadott URL Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM008136
Első szerző:	Pásztor Varga Katalin (matematikus)
Cím:	Many-valued Logic, Mappings, ICF Graphs, Normal Forms / Pásztor Varga Katalin, Várterész Magda
Dátum:	2009
Megjegyzések:	The role of (canonical) conjunctive and disjunctive normal forms ((C)CNF, (C)DNF) is very important both in classical and many-valued logic. Normal forms have been proved as fundamental tools in automated theorem proving, in electrical engineering and, in the investigation of the complexity of logical mappings
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban many-valued logic normal forms
Megjelenés:	Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Section Computatorica. - 31 (2009), p. 185-202. -
További szerzők:	Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:	elektronikus változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM008013
Első szerző:	Pethő Attila (matematikus, informatikus)
Cím:	On the periodic expansion of algebraic numbers / Attila Pethő
Dátum:	1999
ISSN:	0138-9491
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:	Annales Universitatis Scientiarum Budapestiensis De Rolando Eötvös Nominatae. Sectio Computatorica. - 18 (1999), p. 167-174. -
Internet cím:	elektronikus változat
Borító:
Saját polcon: