Рассматривается технология проектирования микроэлектронных систем на основе микроконтроллеров и БИС программируемой логики (ПЛИС). Описаны «ядра» MCS-51 и AVR современных микроконтроллеров, микроконвертер ADuC812 фирмы Analog Devices, семейства ПЛИС на примере изделий фирмы Altera. Рассмотрено проектирование цифровых устройств на основе ПЛИС с использованием языка AHDL. Описаны различные средства программирования и отладки микропроцессорных контролеров. Книга включает многочисленные примеры схем и фрагменты программ, которые могут быть использованы в практической работе.
Одновременно с вопросами проектирования обсуждаются проблемы обучения студентов и повышения квалификации специалистов, возникающие в связи с быстрым изменением элементной базы. В книге описаны учебные практикумы, построенные по принципу «делай как я» и позволяющие быстро передать практические навыки разработки систем на основе рассматриваемых микроконтроллеров и ПЛИС. Особенностью продемонстрированного подхода к обучению является использование только профессиональных инструментальных средств и методов, что исключает необходимость дальнейшего переучивания.
Книга для широкого круга специалистов в области проектирования микроэлектронных систем, аппаратуры и программного обеспечения. Материал соответствует ряду учебных курсов, необходим преподавателям и студентам.

Книга содержит информацию по наиболее важным разделам электроники: как теорию (описание радиотехнических цепей и сигналов, изложение теории электромагнитного поля, перечень основных единиц измерения СИ и т.д.), так и практические сведения (описание усилителей, генераторов, комбинационных схем, счетчиков, преобразователей, программируемой логики, МП и микроконтроллеров с типовыми примерами исполнения).

Излагаются различные подходы к проектированию процессорных устройств: со специализированным операционным устройством и управляющим устройством, синтезированным на основе схемной и программируемой логики. Рассматриваются устройства на микропроцессорных комплектах БИС серий КР580, К589. КР1804, КР1810, а также приемы программирования на языках различных уровней.

Самоучитель раскрывает секреты микропроцессорной техники, затрагивает основы цифровой логики, принципы программирования. Написан простым, понятным языком, снабжен схемами, иллюстрациями и практическими примерами.

Рассматривается широкий круг вопросов, связанных с изучением, проектированием и применением цифровых элементов, узлов и устройств, микросхемы которых являются основой для реализации различных средств обработки информации — ЭВМ, систем цифровой автоматики, телекоммуникаций, измерений и др. Описывается использование в схемотехнике стандартных элементов, типовых функциональных узлов и микросхем программируемой логики, которые, согласно прогнозам, в ближайшие годы произведут в цифровой схемотехнике такой же переворот, как микрокомпьютеры в 1970-е гг. Приведены структуры и схемотехника полупроводниковых запоминающих устройств, простых микропроцессоров и БИС/СБИС микропроцессорных комплектов. Изложена методика как "ручных", так и автоматизированных методов проектирования цифровых узлов и устройств.

Настоящий "Учебник логики" представляет собой изложение основ логики. Больше внимание уделено "силлогистике".

В учебнике помещены также задачи, на примерах которых учащийся может самостоятельно изучить применение тех или иных правил логики.

Книга представляет собой краткое изложение одной из древнейших наук - логики Аристотеля. Ее завершают тестовые задания, сборник занимательных логических задач и краткий словарь терминов. Автор - кандидат философских наук, доцент Московского педагогического государственного университета - с неизменным успехом использует материалы книги в многолетней преподавательской практике.
Книга адресована учащимся старших классов общеобразовательных учреждений (школ с углубленным изучением предметов социально-гуманитарного цикла, гимназий и лицеев). Она сможет помочь студентам высших учебных заведений сделать изучение логики интересным и увлекательным. Книга будет полезна всем интересующимся логикой и другими гуманитарными науками.

Проектирование цифровых устройств на однокристальных микроконтроллерах
Сташин В.В., Урусов А.В., Мологонцева О.Ф.

Описаны структуры и системы команд однокристальных микроконтроллеров (МК) серии КМ1816. Приведены многочисленные примеры программ, реализующих типовые процедуры управления объектами и обработки данных. Даны рекомендации по выбору вариантов схем цифровых устройств. Изложена методика проектирования цифровых управляющих устройств на базе однокристальных МК.
Для инженеров-проектировщиков средств и систем автоматики, вычислительной техники и роботехники.

В книге дается краткое изложение элементов теории множеств и математической логики и показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики.

В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций надмножествами).
Математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера.

А.Н.Колмогоров (1903-1987) и А.Г.Драгалин (1941-1998) - выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Геделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

Данная книга - практическое пособие по освоению микроконтроллеров PICmicro компании Microchip и другой современной элементной базы, наподобие индикаторов, выполненных по COG-технологии. Рассмотрены алгоритмы работы, схемы и программы для различных полезных устройств: многофункциональных часов, отображающих текущее время и температуру воздуха; автомобильных часов, фиксирующих время в пути и сообщающих о поломке реле-регулятора; автомата включения освещения; цифрового устройства для блока питания с установкой защиты по току и напряжению; специализированных термометров и др. Для начинающих дана глава о наладке устройств на микроконтроллерах.

Книга предназначена для широкого круга радиолюбителей, а также может быть полезна студентам, изучающим программирование микроконтроллеров.

Вашему вниманию предлагается один из лучших за последнее время учебников по логике, написанный доктором философских наук Александрой Денисовной Гетмановой. Книга рекомендована в качестве учебного пособия для студентов вузов.
Логика - философская наука о законах и формах правильного мышления. Истина и логика взаимосвязаны, поэтому теоретическое и практическое значение логики невозможно переоценить. Логика помогает доказывать истинные суждения и опровергать ложные, она учит мыслить четко, лаконично, правильно. Можно логично рассуждать, правильно строить свои умозаключения, опровергать доводы противника и, не зная правил логики, подобно тому, как нередко люди выражают свои мысли на языке, не зная его грамматики. Однако знание логики повышает культуру мышления, способствует четкости, последовательности и доказательности рассуждения, усиливает его эффективность и убедительность.

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов, младших курсов.

Эта книга, по словам самого автора, - "путешествие во времени от вавилонских "шестидесятников" до фракталов и размытой логики". От загадочных счетных палочек первобытных людей до первого "калькулятора" - абака. От древневавилонской системы счисления до первых практических карт.

Книга известного системного программиста и теоретика информатики (Великобритания), последовательно излагающая теорию взаимодействующих процессов; эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Автор рассматривает параллелизм в языках высокого уровня АДА, Симула 67, Паскаль.
Для специалистов в области системного программирования, теоретической информатики, математической логики, аспирантов и студентов вузов.

Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т. п. С помощью аппарата логики показано, что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающихв процессе управления предприятиями. Содержание учебника соответствует курсу лекций, который автор читает в МГТУ им. Н. Э. Баумана.