skip to content
Logic, automata, and algorithms Preview this item
ClosePreview this item
Checking...

Logic, automata, and algorithms

Author: M A Aĭzerman
Publisher: New York ; London : Academic Press, 1971.
Series: Mathematics in science and engineering, v. 79.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Studies theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. This title considers many computing techniques, such as methods of operator  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Logic, automata, and algorithms.
New York ; London : Academic Press, 1971
(DLC) 72153664
(OCoLC)16199454
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M A Aĭzerman
ISBN: 9780120463503 0120463504 9780080955872 0080955878
OCLC Number: 428095206
Notes: Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963.
Description: 1 online resource (xii, 433 pages) : illustrations.
Contents: Elements of mathematical logic --
Engineering applications of propositional calculus --
Finite automata and sequential machines ; basic concepts --
Abstract structure and nets --
Technical embodiment of finite automata and sequential machines --
Autonomous finite automata and sequential machines --
Representation of events in finite automata and sequential machines --
Recognition of realizability of a given specification, abstratc synthesis of finite automata and sequential machines --
Equivalence and minimization of sequential machines --
Transformation of clock rates of sequential machines --
Determination of the properties of sequential machines from their response to finite input sequences --
Algorithms --
Turing machines --
Conclusion --
Problems.
Series Title: Mathematics in science and engineering, v. 79.
Responsibility: Mark A. Aiserman [and others] ; translated by Scripta Technica, Inc ; translation editor George M. Kranc.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/428095206> # Logic, automata, and algorithms
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/428095206#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "428095206" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499537181#Topic/machines_sequentielles_theorie> ; # Machines séquentielles (Théorie)
   schema:about <http://dewey.info/class/629.89201/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/499537181#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/499537181#Topic/algorithmes> ; # Algorithmes
   schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/499537181#Topic/technology_&_engineering_automation> ; # TECHNOLOGY & ENGINEERING--Automation
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/22569763> ; # Mark Aronovich Aĭzerman
   schema:datePublished "1971" ;
   schema:description "Elements of mathematical logic -- Engineering applications of propositional calculus -- Finite automata and sequential machines ; basic concepts -- Abstract structure and nets -- Technical embodiment of finite automata and sequential machines -- Autonomous finite automata and sequential machines -- Representation of events in finite automata and sequential machines -- Recognition of realizability of a given specification, abstratc synthesis of finite automata and sequential machines -- Equivalence and minimization of sequential machines -- Transformation of clock rates of sequential machines -- Determination of the properties of sequential machines from their response to finite input sequences -- Algorithms -- Turing machines -- Conclusion -- Problems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499537181> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/499537181#Series/mathematics_in_science_and_engineering> ; # Mathematics in science and engineering ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/16199454> ;
   schema:name "Logic, automata, and algorithms"@en ;
   schema:productID "428095206" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/428095206#PublicationEvent/new_york_london_academic_press_1971> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/499537181#Agent/academic_press> ; # Academic Press
   schema:url <http://www.sciencedirect.com/science/bookseries/00765392/79> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=335421> ;
   schema:url <http://site.ebrary.com/id/10391494> ;
   schema:url <http://www.sciencedirect.com/science/book/9780120463503> ;
   schema:url <http://www.myilibrary.com?id=261873> ;
   schema:workExample <http://worldcat.org/isbn/9780120463503> ;
   schema:workExample <http://worldcat.org/isbn/9780080955872> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/428095206> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/499537181#Series/mathematics_in_science_and_engineering> # Mathematics in science and engineering ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/428095206> ; # Logic, automata, and algorithms
   schema:name "Mathematics in science and engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/499537181#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499537181#Topic/machines_sequentielles_theorie> # Machines séquentielles (Théorie)
    a schema:Intangible ;
   schema:name "Machines séquentielles (Théorie)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/499537181#Topic/technology_&_engineering_automation> # TECHNOLOGY & ENGINEERING--Automation
    a schema:Intangible ;
   schema:name "TECHNOLOGY & ENGINEERING--Automation"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1112895> # Sequential machine theory
    a schema:Intangible ;
   schema:name "Sequential machine theory"@en ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
   schema:name "Algorithms"@en ;
    .

<http://viaf.org/viaf/22569763> # Mark Aronovich Aĭzerman
    a schema:Person ;
   schema:birthDate "1913" ;
   schema:familyName "Aĭzerman" ;
   schema:givenName "Mark Aronovich" ;
   schema:givenName "M. A." ;
   schema:name "Mark Aronovich Aĭzerman" ;
    .

<http://worldcat.org/isbn/9780080955872>
    a schema:ProductModel ;
   schema:isbn "0080955878" ;
   schema:isbn "9780080955872" ;
    .

<http://worldcat.org/isbn/9780120463503>
    a schema:ProductModel ;
   schema:isbn "0120463504" ;
   schema:isbn "9780120463503" ;
    .

<http://www.worldcat.org/oclc/16199454>
    a schema:CreativeWork ;
   rdfs:label "Logic, automata, and algorithms." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/428095206> ; # Logic, automata, and algorithms
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.