Logik, Automaten, Algorithmen / / M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Physical Sciences <1990
VerfasserIn:
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2022]
©1966
Year of Publication:2022
Edition:Reprint 2021
Language:German
Series:Elektronisches Rechnen und Regeln : Sonderband ; 3
Online Access:
Physical Description:1 online resource (432 p.) :; Mit 180 Abbildungen
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9783112578728
ctrlnum (DE-B1597)609795
(OCoLC)1301546276
collection bib_alma
record_format marc
spelling Aiserman, M. A., author. aut http://id.loc.gov/vocabulary/relators/aut
Logik, Automaten, Algorithmen / M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.
Reprint 2021
Berlin ; Boston : De Gruyter, [2022]
©1966
1 online resource (432 p.) : Mit 180 Abbildungen
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Elektronisches Rechnen und Regeln : Sonderband ; 3
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Einführung -- KAPITEL I Elemente der mathematischen Logik -- KAPITEL II Technische Anwendungen des Aussagenkalküls -- KAPITEL III Allgemeines über endliche Automaten und sequentielle Maschinen -- KAPITEL IV Abstrakte Strukturen und Netze -- KAPITEL V Technische Realisierung von endlichen Automaten und sequentiellen Maschinen -- KAPITEL VI Autonome endliche Automaten und sequentielle Maschinen -- KAPITEL VII Darstellung von Ereignissen in endlichen Automaten und sequentiellen Maschinen -- KAPITEL VIII Das Erkennen der Realisierbarkeit eines Problems und die abstrakte Synthese von endlichen Automaten und sequentiellen Maschinen -- KAPITEL IX Äquivalenz und Minimisierung von sequentiellen Maschinen -- KAPITEL X Transformation der Taktgebung von sequentiellen Maschinen -- KAPITEL XI Bestimmung der Eigenschaften von sequentiellen Maschinen aus ihrer Reaktion auf Eingangsfolgen endlicher Länge -- KAPITEL XII Algorithmen -- KAPITEL XIII Turing-Maschinen -- Schluß -- Aufgabenteil
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
Issued also in print.
Mode of access: Internet via World Wide Web.
In German.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 01. Dez 2022)
COMPUTERS / Computer Science. bisacsh
Gussew, L. A., author. aut http://id.loc.gov/vocabulary/relators/aut
Rosonoer, L. I., author. aut http://id.loc.gov/vocabulary/relators/aut
Tal, A. A., author. aut http://id.loc.gov/vocabulary/relators/aut
Title is part of eBook package: De Gruyter DGBA Physical Sciences <1990 9783110637243 ZDB-23-GPS
print 9783112578711
https://doi.org/10.1515/9783112578728
https://www.degruyter.com/isbn/9783112578728
Cover https://www.degruyter.com/document/cover/isbn/9783112578728/original
language German
format eBook
author Aiserman, M. A.,
Aiserman, M. A.,
Gussew, L. A.,
Rosonoer, L. I.,
Tal, A. A.,
spellingShingle Aiserman, M. A.,
Aiserman, M. A.,
Gussew, L. A.,
Rosonoer, L. I.,
Tal, A. A.,
Logik, Automaten, Algorithmen /
Elektronisches Rechnen und Regeln : Sonderband ;
Frontmatter --
Vorwort --
Inhaltsverzeichnis --
Einführung --
KAPITEL I Elemente der mathematischen Logik --
KAPITEL II Technische Anwendungen des Aussagenkalküls --
KAPITEL III Allgemeines über endliche Automaten und sequentielle Maschinen --
KAPITEL IV Abstrakte Strukturen und Netze --
KAPITEL V Technische Realisierung von endlichen Automaten und sequentiellen Maschinen --
KAPITEL VI Autonome endliche Automaten und sequentielle Maschinen --
KAPITEL VII Darstellung von Ereignissen in endlichen Automaten und sequentiellen Maschinen --
KAPITEL VIII Das Erkennen der Realisierbarkeit eines Problems und die abstrakte Synthese von endlichen Automaten und sequentiellen Maschinen --
KAPITEL IX Äquivalenz und Minimisierung von sequentiellen Maschinen --
KAPITEL X Transformation der Taktgebung von sequentiellen Maschinen --
KAPITEL XI Bestimmung der Eigenschaften von sequentiellen Maschinen aus ihrer Reaktion auf Eingangsfolgen endlicher Länge --
KAPITEL XII Algorithmen --
KAPITEL XIII Turing-Maschinen --
Schluß --
Aufgabenteil
author_facet Aiserman, M. A.,
Aiserman, M. A.,
Gussew, L. A.,
Rosonoer, L. I.,
Tal, A. A.,
Gussew, L. A.,
Gussew, L. A.,
Rosonoer, L. I.,
Rosonoer, L. I.,
Tal, A. A.,
Tal, A. A.,
author_variant m a a ma maa
m a a ma maa
l a g la lag
l i r li lir
a a t aa aat
author_role VerfasserIn
VerfasserIn
VerfasserIn
VerfasserIn
VerfasserIn
author2 Gussew, L. A.,
Gussew, L. A.,
Rosonoer, L. I.,
Rosonoer, L. I.,
Tal, A. A.,
Tal, A. A.,
author2_variant l a g la lag
l i r li lir
a a t aa aat
author2_role VerfasserIn
VerfasserIn
VerfasserIn
VerfasserIn
VerfasserIn
VerfasserIn
author_sort Aiserman, M. A.,
title Logik, Automaten, Algorithmen /
title_full Logik, Automaten, Algorithmen / M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.
title_fullStr Logik, Automaten, Algorithmen / M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.
title_full_unstemmed Logik, Automaten, Algorithmen / M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.
title_auth Logik, Automaten, Algorithmen /
title_alt Frontmatter --
Vorwort --
Inhaltsverzeichnis --
Einführung --
KAPITEL I Elemente der mathematischen Logik --
KAPITEL II Technische Anwendungen des Aussagenkalküls --
KAPITEL III Allgemeines über endliche Automaten und sequentielle Maschinen --
KAPITEL IV Abstrakte Strukturen und Netze --
KAPITEL V Technische Realisierung von endlichen Automaten und sequentiellen Maschinen --
KAPITEL VI Autonome endliche Automaten und sequentielle Maschinen --
KAPITEL VII Darstellung von Ereignissen in endlichen Automaten und sequentiellen Maschinen --
KAPITEL VIII Das Erkennen der Realisierbarkeit eines Problems und die abstrakte Synthese von endlichen Automaten und sequentiellen Maschinen --
KAPITEL IX Äquivalenz und Minimisierung von sequentiellen Maschinen --
KAPITEL X Transformation der Taktgebung von sequentiellen Maschinen --
KAPITEL XI Bestimmung der Eigenschaften von sequentiellen Maschinen aus ihrer Reaktion auf Eingangsfolgen endlicher Länge --
KAPITEL XII Algorithmen --
KAPITEL XIII Turing-Maschinen --
Schluß --
Aufgabenteil
title_new Logik, Automaten, Algorithmen /
title_sort logik, automaten, algorithmen /
series Elektronisches Rechnen und Regeln : Sonderband ;
series2 Elektronisches Rechnen und Regeln : Sonderband ;
publisher De Gruyter,
publishDate 2022
physical 1 online resource (432 p.) : Mit 180 Abbildungen
Issued also in print.
edition Reprint 2021
contents Frontmatter --
Vorwort --
Inhaltsverzeichnis --
Einführung --
KAPITEL I Elemente der mathematischen Logik --
KAPITEL II Technische Anwendungen des Aussagenkalküls --
KAPITEL III Allgemeines über endliche Automaten und sequentielle Maschinen --
KAPITEL IV Abstrakte Strukturen und Netze --
KAPITEL V Technische Realisierung von endlichen Automaten und sequentiellen Maschinen --
KAPITEL VI Autonome endliche Automaten und sequentielle Maschinen --
KAPITEL VII Darstellung von Ereignissen in endlichen Automaten und sequentiellen Maschinen --
KAPITEL VIII Das Erkennen der Realisierbarkeit eines Problems und die abstrakte Synthese von endlichen Automaten und sequentiellen Maschinen --
KAPITEL IX Äquivalenz und Minimisierung von sequentiellen Maschinen --
KAPITEL X Transformation der Taktgebung von sequentiellen Maschinen --
KAPITEL XI Bestimmung der Eigenschaften von sequentiellen Maschinen aus ihrer Reaktion auf Eingangsfolgen endlicher Länge --
KAPITEL XII Algorithmen --
KAPITEL XIII Turing-Maschinen --
Schluß --
Aufgabenteil
isbn 9783112578728
9783110637243
9783112578711
url https://doi.org/10.1515/9783112578728
https://www.degruyter.com/isbn/9783112578728
https://www.degruyter.com/document/cover/isbn/9783112578728/original
illustrated Not Illustrated
doi_str_mv 10.1515/9783112578728
oclc_num 1301546276
work_keys_str_mv AT aisermanma logikautomatenalgorithmen
AT gussewla logikautomatenalgorithmen
AT rosonoerli logikautomatenalgorithmen
AT talaa logikautomatenalgorithmen
status_str n
ids_txt_mv (DE-B1597)609795
(OCoLC)1301546276
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DGBA Physical Sciences <1990
is_hierarchy_title Logik, Automaten, Algorithmen /
container_title Title is part of eBook package: De Gruyter DGBA Physical Sciences <1990
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1806145495831150592
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03548nam a22006375i 4500</leader><controlfield tag="001">9783112578728</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20221201113901.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">221201t20221966gw fo d z ger d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1302163839</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783112578728</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783112578728</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)609795</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1301546276</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Aiserman, M. A., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik, Automaten, Algorithmen /</subfield><subfield code="c">M. A. Aiserman, L. A. Gussew, A. A. Tal, I. M. Smirnowa, L. I. Rosonoer.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1966</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (432 p.) :</subfield><subfield code="b">Mit 180 Abbildungen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Elektronisches Rechnen und Regeln : Sonderband ;</subfield><subfield code="v">3</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Vorwort -- </subfield><subfield code="t">Inhaltsverzeichnis -- </subfield><subfield code="t">Einführung -- </subfield><subfield code="t">KAPITEL I Elemente der mathematischen Logik -- </subfield><subfield code="t">KAPITEL II Technische Anwendungen des Aussagenkalküls -- </subfield><subfield code="t">KAPITEL III Allgemeines über endliche Automaten und sequentielle Maschinen -- </subfield><subfield code="t">KAPITEL IV Abstrakte Strukturen und Netze -- </subfield><subfield code="t">KAPITEL V Technische Realisierung von endlichen Automaten und sequentiellen Maschinen -- </subfield><subfield code="t">KAPITEL VI Autonome endliche Automaten und sequentielle Maschinen -- </subfield><subfield code="t">KAPITEL VII Darstellung von Ereignissen in endlichen Automaten und sequentiellen Maschinen -- </subfield><subfield code="t">KAPITEL VIII Das Erkennen der Realisierbarkeit eines Problems und die abstrakte Synthese von endlichen Automaten und sequentiellen Maschinen -- </subfield><subfield code="t">KAPITEL IX Äquivalenz und Minimisierung von sequentiellen Maschinen -- </subfield><subfield code="t">KAPITEL X Transformation der Taktgebung von sequentiellen Maschinen -- </subfield><subfield code="t">KAPITEL XI Bestimmung der Eigenschaften von sequentiellen Maschinen aus ihrer Reaktion auf Eingangsfolgen endlicher Länge -- </subfield><subfield code="t">KAPITEL XII Algorithmen -- </subfield><subfield code="t">KAPITEL XIII Turing-Maschinen -- </subfield><subfield code="t">Schluß -- </subfield><subfield code="t">Aufgabenteil</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 01. Dez 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gussew, L. A., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rosonoer, L. I., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tal, A. A., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Physical Sciences &lt;1990</subfield><subfield code="z">9783110637243</subfield><subfield code="o">ZDB-23-GPS</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783112578711</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783112578728</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783112578728</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783112578728/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPS</subfield><subfield code="b">1990</subfield></datafield></record></collection>