| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


ЭБС "ЛАНЬ" - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :4
 В других БД по вашему запросу найдено:Электронный каталог (28)Публикации учёных СГУ (1)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (55)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгебра логики<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-220
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : учебное пособие . -6-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :400 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0570-1: Б.ц.
УДК : 519.713
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): математика для инженера--дискретная математика--автоматы--автоматы (матем)--алгебра--алгебра логики--алгебра логика теория графов теория алгоритмов--алгебра теории алгоритмов математическая логика--алгоритмов теория--алгоритмы--алгоритмы теория--булева алгебра--введение в логику--вычислимость--грамматики (матем)--графы--исчисления логические--логика--логика введение--математика--математическая логика--множества--общая алгебра--отношения--предикатов исчисление--предикаты логика язык--разрешимость--сложности вычислений--теория автоматов--теория алгоритмов--тьюринга машина--учебники для вузов--формальные системы--функции--функция логическая--функция рекурсивная--элементы общей алгебры--языки--языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=220 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 220 (дата размещения: 26.02.2019)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-231
Автор(ы) : Лихтарников Л. М., Сукачева Т. Г.
Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : сборник задач . -4-е изд., стер.
Выходные данные : Санкт-Петербург: Лань, 2009
Колич.характеристики :288 с
Примечания : Книга из коллекции Лань - Математика
ISBN, Цена 978-5-8114-0082-9: Б.ц.
УДК : 510.6(075)
ББК : 22.122я73
Предметные рубрики: Математика-- Дискретная математика и математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--учебное пособие--алгоритм--алгебра логики--курс лекций--задачник--аксиома логическая--алгебра--алгоритмы--буля--буля алгебра--вычислимая--геделя--двойственность--двойственность закон--дедукция теорема--дизъюнктивная--доказуемость--задачи--задачи решения--закон--исчисление высказываний--исчисление аксиоматическое--исчисления высказываний--конъюнктивная--курсы лекций--логика--логика предикатов--математика--математика логика--математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи--математические теории--машина--операция логическая--разрешимость--рекурсивная--решение задач--тавтология--терма--тьюринга--тьюринга машина--учебник и пособие--учебные пособия--форма дизъюнктивная--формула доказуемая--функция--функция вычислимая--функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=231 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 231 (дата размещения: 26.02.2019)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-12948
Автор(ы) : Смирнов Ю. А., Соколов С. В., Титов Е. В.
Заглавие : Основы микроэлектроники и микропроцессорной техники : учебное пособие . -2-е изд., испр.
Выходные данные : Санкт-Петербург: Лань, 2013
Колич.характеристики :496 с
Примечания : Книга из коллекции Лань - Инженерно-технические науки
ISBN, Цена 978-5-8114-1379-9: Б.ц.
УДК : 004.31-181.48(075)
ББК : 32.85я73
Предметные рубрики: Инженерно-технические науки-- Электроника
Ключевые слова (''Своб.индексиров.''): atmel--dallas--intel--philips--автомат--алгебра логики--арифметико-логические устройства--ацп--база--базовые логические элементы--базовые матричные кристаллы--биполярная--бмк--гибридная--демультиплексор--демультиплексоры--дешифратор--дешифраторы--диод--диод интегральный--запоминающие устройства--зу--имс--инженерно-технические науки--интегральные микросхемы--интегральные схемы--интерфейс--интерфейсные устройства--кмдп--кодопреобразователи--кодопреобразователь--конденсатор--конденсатор интегральный--кристалл--логика--логические элементы--логический--матричные умножители--матричный--мдп--микроконтролёры импортных фирм--микроконтроллер--микроконтроллеры--микроконтроллеры импортных фирм--микропроцессор--микропроцессорная техника--микропроцессорная техника интегральные микросхемы--микропроцессоры--микросборка--микросхема интегральная (имс)--микросхема интегральная гибридная--микросхема интегральная полупроводниковая--микроэлектроника--микроэлектронная техника--мп--мультиплексор--мультиплексоры--основы микроэлектроники--память--пленочная--плис--пмл--полупроводниковая--полупроводниковые имс--преобразователи--программируемая матричная логика--программируемые вентильные матрицы--программируемые коммутируемые матричные блоки--программируемые логические интегральные схемы--программируемые логические матрицы--распределители--регистры--резистор--резистор интегральный--сумматор--сумматоры--схема--счетчик--счетчики--теория автоматов--триггер--триггеры--ттлш--устройство запоминающее--учебник и пособие--учебные пособия--учебные пособия для бакалавров--учебные пособия для вузов--учебные пособия для магистров--функция логическая--цап--цифровые автоматы--цифровые устройства--цифровые электронные схемы--шифратор--шифраторы--элемент--элемент изоляция--элементная
Аннотация: В книге изложены историческая справка становления и развития микроэлектроники, технологические и схемотехнические основы построения элементной базы микроэлектронных приборов, устройств и микропроцессорной техники, их математического синтеза. Пособие содержит контрольные вопросы, задачи с решениями и рекомендуемую литературу для углубленного изучения материала. Предназначено для подготовки бакалавров, магистров и специалистов направлений: «Электроэнергетика и электротехника», «Электроника и наноэлектроника», «Радиотехника», «Инфокоммуникационные технологии и системы связи», «Конструирование технологии и микросистемная техника».
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_cid=25&pl1_id=12948 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 12948 (дата размещения: 26.02.2019)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : RU-LAN-BOOK-68474
Автор(ы) : Пухальский Г. И., Новосельцева Т. Я.
Заглавие : Проектирование цифровых устройств : учебное пособие . -1-е изд.
Выходные данные : Санкт-Петербург: Лань, 2012
Колич.характеристики :896 с
Примечания : Книга из коллекции Лань - ИнформатикаРекомендовано УМО вузов РФ по образованию в области радиотехники, электроники, биомедицинской техники и автоматизации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Радиотехника»
ISBN, Цена 978-5-8114-1265-5: Б.ц.
УДК : 621.382.8(075)
ББК : 32.84я73
Предметные рубрики: Информатика-- Виртуальные приборы
Ключевые слова (''Своб.индексиров.''): altera--altera max+plus ii--cd-rom (приложение)--max+plus ii--автогенератор--автомат--автомат линейный--автомат цифровой--автоматы--автоматы асинхронные--алгебра--алгебра логики--алгоритмы программирования--анализ и синтез логических схем--анализ логических схем--арифметические комбинационные схемы--арифметические комбинационные устройства--асинхронные автоматы--асинхронные импульсные автоматы--асинхронные импульсные триггеры--асинхронные потенциальные автоматы--асинхронные потенциальные счетчики--асинхронные потенциальные триггеры--бис--вейч--вейча диаграмма--вейча диаграммы--генератор--генераторы сигналов--графы переходов--гриф учебно-методического объединения--двоичные коды--двойственности закон--двойственность--демультиплексор--дешифратор--дешифраторы--диаграмма--диаграммы--диаграммы вейча--дизъюнктивная--дизъюнктивные термы--дополнительные коды--дополнительный код--ждущий--закон двойственности--импульсные автоматы--импульсные сигналы--импульсный--интегральная--интегральные схемы--каскадирование--код--код преобразователь--коды--комбинационная--комбинационные логические цепи--комбинационные схемы--компакт-диск (приложение)--конвейерные цифровые устройства--конъюнктивная--конъюнктивные термы--линейные автоматы--линейные комбинационные схемы--линейный--логика--логические схемы--логические уравнения--логические устройства--логический--макстерма--макстермы--микропроцессоры--минимизация--минимизация переключательных функций--минтерма--минтермы--модели логических схем--модели логических элементов--мультивибратор--мультиплексные функции--мультиплексор--обнаружение и исправление ошибок--обратные коды--обратный код--операторные тождества--память--первичная--первичные термы--переключатели--переключательная--переключательные функции--переключательные функции теория--позиционные системы счисления--потенциальные сигналы--потенциальный--преобразователи кодов--преобразователь--принцип и закон двойственности--проектирование--проектирование устройств--проектирование цифровых систем--проектирование цифровых устройств--прямой код--прямые коды--радиоаапаратура--радиоэлектроника--разложения теорема--регистр--регистры--регистры памяти--рекомендовано умо--рефлексные коды--решение уравнений--ридиотехника--сдвигающие регистры--сдвигающий--сигнал--сигнал импульсный--синтез--синтез асинхронных автоматов--синтез комбинационных схем--синтез линейных автоматов--синтез логических схем--синтез синхронных автоматов--синтез синхроных автоматов--синтез систем--синхронные автоматы--синхронные счетчики--синхронные триггеры--синхронные тригеры--синхронный--системы логических уравнений--системы проектирования--системы счисления--скобочные формы функций--слау--совершенные нормальные формы представления функций--схема--схема комбинаторная--схема комбинационная--счетчик--счетчик потенциальный асинхронный--счетчик синхронный--счетчики асинхронные потенциальные--счетчики синхронные--счисления--таблицы переходов--теоремы--теоремы разложения--терма--терма первичная--термы--типовые комбинационные схемы--тождество операторное--триггер--триггеры--указатель интегральных схем--уравнение логическое--уравнения--учебник и пособие *--учебные издания для вузов--учебные пособия--учебные пособия для вузов--фазовращатель--формы функций--функции--функция--функция форма скобочная--цифровая техника--цифровая электроника--цифровой--цифровые автоматы--цифровые устройства--шифратор--шмитта--электроника и радиотехника--элемент--элементы памяти
Аннотация: Изложены основы теории переключательных функций и цифровых автоматов, позволяющие простейшими методами решать задачи проектирования цифровых устройств. Даны оригинальные математические методы анализа и синтеза автоматов, основанные на операторах переходов и решениях систем логических уравнений. Практически для всех синтезированных схем изготовлены файлы (свыше 800), позволяющие читателям самостоятельно выполнить их моделирование с помощью модифицированного программного пакета Micro-Logic II. Приведенные сведения по программному пакету MAX+plus II BaseLine достаточны для выполнения проектов на семействе БИС Altera (на CD-ROM имеется около 500 файлов, содержащих примеры спроектированных цифровых устройств). Учебное пособие предназначено для студентов вузов радитехнических направлений подготовки, обеспечивает все виды занятий по цифровой технике по курсу «Цифровые и микропроцессорные устройства» и может быть использовано для проектирования интерфейсных устройств микропроцессорных систем.
Перейти к внешнему ресурсу:  Ссылка на документ в ЭБС Лань    ID= 1_id=68474 (дата размещения: 26.02.2019),
Перейти к внешнему ресурсу:  Обложка книги.    ID= 68474 (дата размещения: 26.02.2019)
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)