CCL

Összesen 7 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM050192
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued logics - implications and semantic consequences / Katalin Pásztor Varga, Gábor Alagi, Magda Várterész
Dátum:2013
Megjegyzések:In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Lukasiewicz, Post, Heyting and Rosser style expansions of the operations negation, conjunction, disjunction and with a special emphasis on implication. In the frame of consequence operation, some notions of semantic consequence are examined. Then we continue with the decision problem and the logical calculi. We show that the cause of diffi culties with the notions of semantic consequence is the weakness of the reviewed expansions of negation and implication. Finally, we introduce an approach to fi nding implications that preserve both the modus ponens and the deduction theorem with respect to our de finitions of consequence.
ISBN:1844-6086 2066-7760
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
many-valued logic
extensions of implication
notions of consequence
Doktori iskola
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 5 : 2 (2013), p. 145-166. -
További szerzők:Alagi Gábor Várterész Magdolna (1954-) (informatikus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Matematika- és Számítástudományok Doktori Iskola
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM044737
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued logics - theorem proving problems / Pásztor Varga Katalin, Várterész Magda
Dátum:2011
Megjegyzések:ELTE - Programozási nyelvek és Fordítóprogramok Tanszék
The many-valued logics (starting by Post and Lukasiewicz independently in 1921) are perhaps the most natural extensions of the classical logic. Up to the 1990's serious theoretical problems were solved and presented \cite{Bolc}. In the last few years, the development of their applications in computer science, electronics and biology has accelerated.In this paper, a semantic notion of the consequence relation is given on the basis of results in structural consideration of many-valued logics. This notion could support calculi in many-valued logics semantically. The potential notions for the implication are examined and an implication in compliance with our aims is introduced.
ISBN:978-963-9056-38-1
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
theorem proving
many-valued logic
Megjelenés:Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia). - p. 91-98. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM044149
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Comparison and usability of two rewriting systems for theorem proving / Pásztor Varga Katalin, Várterész Magda
Dátum:2002
Megjegyzések:Eötvös Loránd Tudományegyetem - Általános Számítástudományi Tanszék
In this paper two rewriting systems for logical formulas are regarded. One of them is suggested by A. Dragálin [1], the other by M. Fitting [2]. Both of them are based on the duality of the logical connectives conjunction and disjunction. By these methods the formulas can be rewritten into disjunctive normal form (DNF) and conjunctive normal form (CNF) to take them usable forthe tableau and for the resolution calculus. The equivalent power of these methods is shown also. As in every step both rewriting methods result a so-called generalized DNF or CNF, it is possible to execute the steps of the theorem proving and rewriting algorithms not separately [4]. We suggest a formula complexity controlled algorithm allowing more powerful usability for these rewriting systems in theorem proving. The pp method [1] handles symbolic dual operations in a general way but therecursive rewriting [2] treats the logical connectives after the unified notation of Smullyan [5]. It seems to be profitable to elaborate an algorithm bringing together the useful properties of both rewriting systems.An algorithm is given which uses the denotation technic of pp rewriting combined with a directed strategy to get into a plus or point normal form. Some simplification is executed during the algorithm and a reduced normal form is obtained.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Pure Mathematics and Applications. - 13 : 1-2 (2002), p. 293-302. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM043035
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:A matematikai logika alkalmazásszemléletű tárgyalása / Pásztorné Varga Katalin, Várterész Magda
Dátum:2003
Megjelenés:Budapest : Panem Könyvkiadó, 2003
Terjedelem:394 p.
Megjegyzések:Ez a könyv elsősorban informatikusok, számítástudománnyal foglalkozó szakemberek, valamint a felsőfokú oktatásban részt vevő informatikus, programozó és programtervező matematikus szakokon tanuló hallgatók számára készült. A logikát a matematikai logikához az 1940-es évekre kialakult ,,nyelvészeti'' tárgyalásmód keretei között vizsgáljuk. A könyvben nagy hangsúlyt helyezünk az automatikus tételbizonyítás elméleti hátterének és kalkulusainak ismertetésére. Ezért az egyes kalkulusok helyességi és teljességi kérdéseinek vizsgálatánál rámutatunk a logika egységes tárgyalásának eszközeire. A tételbizonyító kalkulusok közül ismertetjük a rezolúciós elvet, a (szemantikus) tablók (táblák) módszerét, a bizonyításelméletet (az axiomatikus módszert előtérbehelyező felépítésből nyerhető kalkulust, ítélet-, illetve logikai függvénykalkulust), a természetes levezetés módszerét, és más Gentzen-stílusú kalkulusokat. A logika számítástudománybeli alkalmazásaiban ezek mindegyike eszközként vagy elméleti háttérként előfordul.
ISBN:9635453647
Tárgyszavak:Természettudományok Matematika- és számítástudományok szakkönyv
matematikai logika, ítéletlogika, elsőrendű logika, logikai kalkulus
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM008137
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Languages of logic and their applications / Pásztor Varga Katalin, Várterész Magdolna
Dátum:2008
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
first-order languages
syntax
semantics
Megjelenés:Computers and Mathematics with Applications. - 55 : 8 (2008), p. 1660-1669. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:elektronikus változat
Borító:

6.

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ó:

7.

001-es BibID:BIBFORM027810
Első szerző:Várterész Magdolna (informatikus, matematikus)
Cím:Computer Science, Logic, Informatics Education / Katalin Pásztor Varga, Magda Várterész
Dátum:2006
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Universal Computer Science. - 12 : 9 (2006), p. 1405-1410. -
További szerzők:Pásztor Varga Katalin (1931-) (matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.