| Property |
Value |
| dbo:abstract
|
- A logikában azon szimbólumokat, melyeket konstansokból, változókból, vagy függvényekből állítunk elő, termeknek nevezzük. Amennyiben egy nyelv összes függvényszimbólumának a leírása elérhető, előállítható az adott nyelven értelmezett összes term, a konstansok és változók behelyettesítésével. (hu)
- A logikában azon szimbólumokat, melyeket konstansokból, változókból, vagy függvényekből állítunk elő, termeknek nevezzük. Amennyiben egy nyelv összes függvényszimbólumának a leírása elérhető, előállítható az adott nyelven értelmezett összes term, a konstansok és változók behelyettesítésével. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3214 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:author
|
- Pásztorné Varga Katalin, Várterész Magda (hu)
- Kovács Csongor (hu)
- Pásztorné Varga Katalin, Várterész Magda (hu)
- Kovács Csongor (hu)
|
| prop-hu:isbn
|
- 9635453647 (xsd:decimal)
- 9639076341 (xsd:decimal)
|
| prop-hu:publisher
|
- Panem Kiadó, Budapest (hu)
- Panem Kiadó, Budapest (hu)
|
| prop-hu:title
|
- Digitális elektronika (hu)
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
- Digitális elektronika (hu)
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
|
| prop-hu:wikiPageUsesTemplate
| |
| prop-hu:year
| |
| dct:subject
| |
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
