Описание книги
В настоящей книге изложены логико-математические основы общей теории синтеза логических схем дискретных (цифровых) автоматов с учетом простейших соображений надежности, не связанные с учетом специфических особенностей конкретных физических элементов, из которых эти схемы построены. В ней рассматриваются также общие принципы блочного синтеза автоматов с микропрограммным управлением. В книге находят применение идеи и методы ряда разделов математической логики. Книга рассчитана на широкий круг с...
В настоящей книге изложены логико-математические основы общей теории синтеза логических схем дискретных (цифровых) автоматов с учетом простейших соображений надежности, не связанные с учетом специфических особенностей конкретных физических элементов, из которых эти схемы построены. В ней рассматриваются также общие принципы блочного синтеза автоматов с микропрограммным управлением. В книге находят применение идеи и методы ряда разделов математической логики.
Книга рассчитана на широкий круг специалистов (прежде всего математиков и инженеров), интересующихся проблемами логического синтеза электронных цифровых машин и устройств, а также на студентов вузов. Книга «Синтез цифровых автоматов» автора Виктор Глушков оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
- Просмотров: 348
- Рецензий: 0
- Переводчики: не указаны
- Серия: Математическая логика и основания математики
- ISBN (EAN): не указаны
- Языки: Русский
- Возрастное ограничение: не указано
- Год написания: 1962
Посмотрите еще
Рассматриваются принципиальные возможности, технические приемы проектирования и использования средств радио - и радиотехнической, разведок, а также технических средств, использующих для добывания разведывательной информации электромагнитные поля, непреднамеренно создаваемые системами и устройствами. Для специалистов в области радиоэлектронной и информационной борьбы. Может быть полезна студент...
Учебник "Кулинария" написан в соответствии с требованиями Государственного стандарта начального профессионального образования по профессии "повар, кондитер" и примерной учебно-программной документацией на данную профессию. Учебник предназначен для обучения поваров в учебных заведениях начального профессионального образования, а также может быть использован в качестве учебного пособия для студентов...
Книга посвящена уникальному сооружению - радиотелевизионной передающей станции, размещенной в свободностоящей железобетонной башне, высота которой вместе с антенными устройствами достигает 536 м. Сооружение башни, ставшей образцом строительного и архитектурного искусства, свидетельствует о высоком уровне, достигнутом советской наукой и техникой. О этапах строительства башни и ее «профессия...
В книге рассмотрены основы автоматизации деревообрабатывающего производства, системы автоматики, принципы действия и важнейшие особенности автоматических устройств деревообработки и их элементов: датчиков, промежуточных элементов и исполнительных механизмов. Приводятся данные о конструкции, монтаже и настройке современных автоматических устройств управления, контроля и регулирования, применяемых в...
Рассмотрены физико-химические свойства стекла, сырьевые материалы для его производства, их подготовка и технология приготовления шихты: процессы варки стекла, типы и конструкции стекловаренных печей, их эксплуатация, обслуживание и ремонт, способы формования стеклоизделий. Приведена технология изготовления листового (оконного, узорчатого, цветного, армированного) и технического стекла (стеклопакет...
В книге изложены основы теории радиоприема, принципы действия и теория работы всех узлов радиоприемников, в том числе приемников СВЧ, особенности построения приемников для звукового и телевизионного вещания и радиосвязи, включая приемники систем радиорелейной и космической связи. Рассмотрены техника измерений радиоприемных устройств и их техническая эксплуатация. Все изложение ведется применительн...
Вашему вниманию предлагается 4 выпуск ежемесячного научно-технического журнала "Ремонт & сервис электронной техники" за 2015 год. Главные темы номера: -Устройство и ремонт цифрового СТВ приемника "GS 8302". -Электронный модуль ERF2000 холодильников Electrolux/AEG/Zanussi. -RSA500 и RSA600 - USB-анализаторы спектра реального времени. -Пакет SkyProg Programmer для прошивки модулей стирал...
В книге анализируется процесс взаимного проникновения средств вычислительной техники и техники связи. Излагаются основы построения сетей ЭВМ и элементы их проектирования. Рассматриваются принципы построения общегосударственной сети вычислительных центров, являющейся технической базой ОГАС, и ряда существующих коммерческих сетей ЭВМ. Книга предназначена для научных работников, занимающихся вопрос...
Профессия, которой посвящена эта книга, была и остается сегодня одной из самых востребованных в народном хозяйстве. Достоинством данной книги, бесспорно, является то, что она написана в полном соответствии с Госстандартом Минобразования РФ и охватывает все основные виды деятельности сантехники: санитарно-технические работы, монтаж и ремонт систем отопления, водоснабжения, канализации и т.д. ...
В книге излагаются принципы работы и устройство судовой навигационной радиолокационной станции "Дон". Даются методы регулировки ее блоков и приборов, определения и устранения неисправностей. Книга рассчитана на судоводителей, знакомых с основными принципами радиотехники, и на специалистов навигационных камер. К книге прилагаются 7 вкладок (схемы).
В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных
Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производя...
Название этой книги - вовсе не каламбур, как это может показаться на первый взгляд. Метаматематика - это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, ...
Двухтомная монография Д.Гильберта и П.Бернайса «Основания математики» занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами. Отличающаяся исключительной глубиной содержания и тщательностью изложения, книга Гильбе...
Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".
В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
В своем интуиционистском анализе Л.Э.Я.Брауэр создал теорию, которая расходится с классической математикой и которая в своих деталях не стала широко известной или понятой. Поэтому, как кажется авторам книги, эта теория представляет собой вызов метаматематическим и теоретико-модельным методам. В главе I авторы строят ее формализацию, отличную от выполненной в 1930 г. Рейтингом. Эта формализация вкл...
Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме. И нужн...
В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутс...
Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления. В первых пяти главах излагаются такие известные классические резуль...
Рецензии на книгу
Написано 0 рецензий