Nyelvek, gépek és klasszikus számítások

Nyelvek, gépek és klasszikus számítások (M. Augusto Luis)

Eredeti címe:

Languages, Machines, and Classical Computation

Könyv tartalma:

Languages, machines, and classical computation egy új alapképzéses tankönyv a formális nyelvek és automaták, valamint a számíthatóság és komplexitás egybefüggő témáiról. Az új alatt többet értünk, mint a közelmúltban megjelent:

⬤ A könyv (még) világosabban a Chomsky-hierarchia köré épül, amely a gerincét képezi.

⬤ Általános algoritmikus megközelítéssel rendelkezik, számos központi algoritmus alapos és világos, lépésről lépésre történő leírásával.

⬤ Nem játszik benne semmilyen programozási nyelv vagy szoftver semmilyen szerepet, így garantálva a változatos tartalmak (matematikai) általánosságát.

⬤ Ez bizonyos mértékig visszatérés az 1970-es évek végének / 1980-as évek elejének eredeti tankönyvi megközelítéseihez, amelyeket ma már gyakran - tévesen - túl nehéznek tartanak az egyetemi hallgatóság számára.

És,.

⬤ Végül, de nem utolsósorban, figyelembe veszi azt a tényt, amelyet a fent említett témákról szóló más kurzuskönyvek nagyrészt vagy teljesen figyelmen kívül hagynak, hogy ma számításról beszélni rendkívül kétértelmű vállalkozásnak bizonyul, mivel a számítás számos más formája is kialakult azon kívül, amit a Turing-von Neumann paradigmának nevezhetünk.

A gyakorlatok széles választéka kulcsfontosságú eleme ennek a tankönyvnek, a gyakorlatok az egyszerű feladatoktól kezdve a kutatási projektekig és a kreatív készségek felfedezéséig terjednek.

A tárgyalt tartalmak kielégítő megértéséhez szükséges valamennyi matematikai témát egy bevezető fejezetben ismertetjük, így ez egy nagyrészt önálló tananyag.

A jelen második kiadás kijavítja a kiegészítéseket és a hibajegyeket, javított és új ábrákat, egy további algoritmust és átdolgozott feladatokat tartalmaz.

A könyv egyéb adatai:

ISBN:9781848903005
Szerző:
Kiadó:
Nyelv:angol
Kötés:Puha kötés

Vásárlás:

Jelenleg kapható, készleten van.

A szerző további könyvei:

Sokértékű logikák: Matematikai és számítási bevezetés. Második kiadás - Many-Valued Logics: A...
A sokértékű logikák azok a logikák, amelyeknek a...
Sokértékű logikák: Matematikai és számítási bevezetés. Második kiadás - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Nyelvek, gépek és klasszikus számítások - Languages, Machines, and Classical Computation
Languages, machines, and classical computation egy új...
Nyelvek, gépek és klasszikus számítások - Languages, Machines, and Classical Computation
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Második kiadás -...
Bár számos új technológiai alkalmazás megköveteli...
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Második kiadás - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logikai következmények: Theory and Applications: Bevezetés. 2. kiadás - Logical Consequences: Theory...
A logikai következmény elmélete központi szerepet...
Logikai következmények: Theory and Applications: Bevezetés. 2. kiadás - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formal Logic: Klasszikus problémák és bizonyítások - Formal Logic: Classical Problems and...
A logika - vitathatatlanul - a bizonyításról szól,...
Formal Logic: Klasszikus problémák és bizonyítások - Formal Logic: Classical Problems and Proofs

A szerző munkáit az alábbi kiadók adták ki:

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)