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
Database:WorldCat
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://experiment.worldcat.org/entity/work/data/499537181#Person/aizerman_m_a_mark_aronovich_1913> ; # 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://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#Agent/academic_press> # Academic Press
    a bgn:Agent ;
    schema:name "Academic Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/499537181#Person/aizerman_m_a_mark_aronovich_1913> # 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://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://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.