Гиндикин, Семён Григорьевич. Алгебра логики в задачах / редакторы Ю. А. Гастев, В. В. Донченко.
Москва : издательство «Наука», Главная редакция физико-математической литературы, 1972. 288 страниц, с иллюстрациями, 20 см. Тираж 50 000 экз.
Твердый издательский переплет.
Состояние хорошее: небольшой надрыв у нижнего края корешка на задней крышке; корешок с лёгкими потертостями. Блок очень хороший, чистый, без пятен.
***
Gindikin, Semyon Grigoryevich. The Algebra of Logic in Problems / editors Yu. A. Gastev, V. V. Donchenko. First edition.
Moscow : "Nauka" Publishing House, Chief Editorial Board for Physical and Mathematical Literature, 1972. 288 pp. : illustrations ; approx. 20 cm. Print run of 50,000 copies.
Hardcover.
Condition good: small tear at the lower edge of the spine on the rear board; spine cloth lightly rubbed. Text block very good, clean throughout.
A substantial problem book on the algebra of logic (Boolean algebra and propositional logic) by Semyon Grigorievich Gindikin, a noted Soviet mathematician and prolific popularizer of mathematics for students and teachers. The volume progresses from basic operations on propositions and the functions of the algebra of logic through normal forms, the duality law, monotone functions, Post's theorem on functionally closed classes, circuits built from functional elements, relay-contact circuit complexity, elements of probabilistic logic, many-valued logics, and predicate logic, with problems, hints, and full worked solutions provided for every section. Reaching a print run of 50,000 copies, the book was clearly aimed at a broad audience of university students, teachers, and self-directed learners preparing for advanced study in mathematical logic and the theoretical foundations of computer science, an area of rapidly growing importance in the Soviet Union of the early 1970s as digital computing matured. The book remains a valued problem-solving companion for students of mathematical logic and a useful reference for historians tracing the pedagogical literature that supported Soviet computer science education.