LIBROS DEL AUTOR: anil nerode

5 resultados para LIBROS DEL AUTOR: anil nerode

anil nerode Eliminar filtro Quitar filtros
  • Algebraic Curves and Riemann Surfaces for Undergraduates
    Anil Nerode / Noam Greenberg
    The theory relating algebraic curves and Riemann surfaces exhibits the unity of mathematics: topology, complex analysis, algebra and geometry all interact in a deep way. This textbook offers an elementary introduction to this beautiful theory for an undergraduate audience. At the heart of the subject is the theory of elliptic functions and elliptic curves. A complex torus (or '...
    Disponible

    47,01 €

  • Automata Theory and its Applications
    Anil Nerode / Bakhadyr Khoussainov
    The theory of finite automata on finite stings, infinite strings, and trees has had a dis­ tinguished history. First, automata were introduced to represent idealized switching circuits augmented by unit delays. This was the period of Shannon, McCullouch and Pitts, and Howard Aiken, ending about 1950. Then in the 1950s there was the work of Kleene on r...
    Disponible

    65,52 €

  • Logic for Applications
    Anil Nerode / Richard Shore
    In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re­ cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics:...
    Disponible

    65,41 €

  • Combinatorial Functors
    Anil Nerode / J. N. Crossley
    nullane de tantis gregibus tibi digna videtur? rara avis in terra nigroque simillima cygno. Juvenal Sat. VI 161, 165. 1966-JNC visits AN at CornelI. An idea emerges. 1968-JNC is at V. c. L. A. for the Logic Year. The Los Angeles ma- script appears. 1970-AN visits JNC at Monash. 1971-The Australian manuscript appears. 1972-JNC visits AN at Cornell. Her...
    Disponible

    66,89 €

  • Logic and Computer Science
    Anil Nerode / Richard A. Platek / Steven Homer
    The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making C...
    Disponible

    48,34 €