Библиотека УрГУПС

Библиотечно-информационный центр

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Каталог книг и учебно-методических материалов

Статьи из журналов

Авторефераты и диссертации

ЭБС "IPRBooks"

ЭБС "ЛАНЬ"

Сетевая Электронная Библиотека

ЭБС ИНФРА-М ("znanium.com")

ЭБ УМЦ ЖДТ

ЭБС Юрайт

Видеотека "Решение: учебное видео"

КЖТ УрГУПС

ПИЖТ УрГУПС

ЧИПС УрГУПС

Филиал в г. Н. Тагиле

Филиал в г. Тюмени

Филиал в г. Златоусте

ВКР

Публикации

Труды вузов Росжелдора

Методические материалы СПО

Отчеты НИР

Область поиска

Найдено в других БД:

Каталог книг и учебно-методических материалов (8)

Сетевая Электронная Библиотека (3)

Филиал в г. Н. Тагиле (1)

Труды вузов Росжелдора (2)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=алгебра логики<.>

Общее количество найденных документов : 9
Показаны документы с 1 по 9

RU-LAN-BOOK-210278

Кузнецов, О. П.
Дискретная математика для инженера [] : учебное пособие / О. П. Кузнецов. - 6-е изд., стер. - Санкт-Петербург : Лань, 2022. - 400 с. - ISBN 978-5-8114-0570-1 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167753

УДК

519.713

ББК 32.815
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математика для инженера -- дискретная математика -- автоматы -- автоматы (матем) -- алгебра -- алгебра логики -- алгебра логика теория графов теория алгоритмов -- алгебра теории алгоритмов математическая логика -- алгоритмов теория -- алгоритмы -- алгоритмы теория -- булева алгебра -- введение в логику -- вычислимость -- грамматики (матем) -- графы -- исчисления логические -- логика -- логика введение -- математика -- математическая логика -- множества -- общая алгебра -- отношения -- предикатов исчисление -- предикаты логика язык -- разрешимость -- сложности вычислений -- теория автоматов -- теория алгоритмов -- тьюринга машина -- учебники для вузов -- формальные системы -- функции -- функция логическая -- функция рекурсивная -- элементы общей алгебры -- языки -- языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-210281

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [] : практикум / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с. - ISBN 978-5-8114-0082-9 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167754

УДК

510.6(075)

RU-LAN-BOOK-211292

Смирнов, Ю. А.
Основы микроэлектроники и микропроцессорной техники [] : учебное пособие / Ю. А. Смирнов, С. В. Соколов, Е. В. Титов. - 2-е изд., испр. - Санкт-Петербург : Лань, 2022. - 496 с. - ISBN 978-5-8114-1379-9 : Б. ц.
Книга из коллекции Лань - Инженерно-технические науки
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/168550

УДК

004.31-181.48(075)

RU-LAN-BOOK-211466

Муромцев, Д. Ю.
Математическое обеспечение САПР [] : учебное пособие / Д. Ю. Муромцев, И. В. Тюрин. - 2-е изд. перераб. и доп. - Санкт-Петербург : Лань, 2022. - 464 с. - ISBN 978-5-8114-1573-1 : Б. ц.
Книга из коллекции Лань - Инженерно-технические науки
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/168620

УДК

658.512:004.9(075)

ББК 32я73
Рубрики: Инженерно-технические науки--Электроника--Лань
Кл.слова (ненормированные):
конструкторское проектирование -- математическое моделирование -- сапр -- электронные средства -- графовые модели -- автоматизированное проектирование -- модели надежности -- технологическое проектирование -- автоматизированное проектирование эс -- автоматизированное проектирование электронных средств -- алгебра логики -- алгоритм волновой -- алгоритм генетический -- алгоритм лучевой -- алгоритм последовательно-итерационный -- виды обеспечения сапр -- графы -- демпстера - шафера метод -- задачи конструкторского проектирования -- задачи сапр эс -- классификация сапр -- математический аппарат сапр -- математическое моделирование объектов эс -- математическое обеспечение сапр -- методы решения задач сапр -- множеств теория -- моделирование объектов эс -- моделирование макроуровень -- моделирование микроуровень -- модель графовая -- объект электродинамический -- подход байесовский -- проектирование электронных средств -- проектирование конструкторское -- проектирование системотехническое -- проектирование схемотехническое -- проектирование технологическое -- размещения алгоритм -- система автоматизированного проектирования -- смежности матрица -- теория множеств -- трассировка -- учебные пособия -- хейса алгоритм -- цепей матрица -- шортлифа - бьюкенена метод -- эс
Аннотация: Представлены базовые понятия и определения в области систем автоматизированного проектирования, приведена информация по их классификации и видам обеспечения. Даны общие сведения о математическом аппарате САПР, рассмотрены вопросы математического моделирования электронных средств на различных уровнях конструктивной иерархии. Серьезное внимание в пособии уделяется задачам автоматизированного проектирования электронных средств, подробно рассмотрены методы и алгоритмы решения задач конструкторского проектирования. Учебное пособие предназначено бакалаврам и магистрантам, обучающимся по направлениям «Конструирование и технология электронных средств», «Радиотехника» и «Инфокоммуникационные технологии и системы связи» всех форм обучения, аспирантам и специалистам, занимающимся проектированием радиоэлектронной аппаратуры, а также студентам других технических направлений и специальностей. Может быть использовано студентами при выполнении лабораторных, контрольных работ, разделов курсовых проектов по дисциплинам «Системы автоматизированного проектирования в радиоэлектронике», «Информационные технологии конструирования электронных средств», «Основы компьютерного проектирования радиоэлектронных средств», «Моделирование конструкций и технологических процессов производства электронных средств», «Проектирование сложных систем», «Моделирование в радиоэлектронных средствах», «Методы оптимизации» и др., подготовки разделов квалификационных работ и магистерских диссертаций.

Перейти: Ссылка на документ в ЭБС Лань

Доп.точки доступа:
Тюрин, И. В.
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-212219

Пухальский, Г. И.
Проектирование цифровых устройств [] : учебное пособие / Г. И. Пухальский, Т. Я. Новосельцева. - Санкт-Петербург : Лань, 2022. - 896 с. - ISBN 978-5-8114-1265-5 : Б. ц.
Книга из коллекции Лань - Информатика. Рекомендовано УМО вузов РФ по образованию в области радиотехники, электроники, биомедицинской техники и автоматизации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Радиотехника»
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/168881

УДК

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 файлов, содержащих примеры спроектированных цифровых устройств). Учебное пособие предназначено для студентов вузов радитехнических направлений подготовки, обеспечивает все виды занятий по цифровой технике по курсу «Цифровые и микропроцессорные устройства» и может быть использовано для проектирования интерфейсных устройств микропроцессорных систем.

Перейти: Ссылка на документ в ЭБС Лань

Доп.точки доступа:
Новосельцева, Т. Я.
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-306785

Акимова, Е. В.
Вычислительная техника [] : учебное пособие для спо / Е. В. Акимова. - 4-е изд., стер. - Санкт-Петербург : Лань, 2023. - 68 с. - ISBN 978-5-507-46338-1 : Б. ц.
Книга из коллекции Лань - Информатика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/185888

УДК

004(075.32)

ББК 32.97я723
Рубрики: Информатика--Информационные технологии--Лань
Кл.слова (ненормированные):
электронно-вычислительная техника -- алгебра логики -- цифровые устройства -- архитектура интерфейсов -- программное обеспечение
Аннотация: В данном пособии изложены сведения об электронно-вычислительной технике: классификация, характеристики, принцип действия; виды информации и способы представления ее в ЭВМ; системы счисления; логические основы ЭВМ; элементарные логические функции; основы микропроцессорных систем (архитектура микропроцессора и ее элементы, система команд микропроцессора, процедура выполнения команд, рабочий цикл микропроцессора); типовые узлы и устройства вычислительной техники (регистры, дешифраторы, счетчики, сумматоры); организация интерфейсов в вычислительной технике; периферийные устройства вычислительной техники. Настоящему курсу предшествует изучение следующих дисциплин: «Информатика», «Электротехника», «Электронная техника». Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям. Учебное пособие предназначено для студентов технических специальностей и направлений учреждений среднего профессионального образования, изучающих дисциплину «Вычислительная техника».

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-310214

Иорданский, М. А.
Кодирование комбинаторных объектов [] : учебное пособие для вузов / М. А. Иорданский. - 2-е изд., стер. - Санкт-Петербург : Лань, 2023. - 92 с. - ISBN 978-5-507-46502-6 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/102599

УДК

ББК 32.811.4
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
алгебра логики -- графы -- дискретная математика -- алфавитное кодирование -- кодирование графов
Аннотация: В предлагаемом учебном пособии рассматриваются проблемы экономного кодирования информации, представленной тремя видами комбинаторных объектов: текстами, функциями алгебры логики и графами. В рамках этих направлений объектами изучения являются соответственно дискретные математические модели алфавитного кодирования, формульного представления функций алгебры логики в классе ДНФ и кодирования графов на основе их конструктивных описаний. Основной целью пособия является ознакомление с подходами и методами, используемыми при решении трех указанных классов задач. На это направлены многочисленные примеры и упражнения, включенные в текст пособия. Пособие предназначено для студентов классических и педагогических университетов, обучающихся по образовательным программам подготовки бакалавров и магистров по математике и информатике. Оно может быть использовано преподавателями и студентами при изучении таких дисциплин, как «Дискретная математика» и «Теоретические основы информатики», а также учителями и учащимися классов с углубленным изучением математики и информатики общеобразовательных учреждений.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-322484

Куль, Т. П.
Информационные технологии и основы вычислительной техники [] : учебник для спо / Т. П. Куль. - 2-е изд., стер. - Санкт-Петербург : Лань, 2023. - 264 с. - ISBN 978-5-507-47035-8 : Б. ц.
Книга из коллекции Лань - Информатика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/148223

УДК

ББК 32.81
Рубрики: Информатика--Информационные технологии--Лань
Кл.слова (ненормированные):
информатика -- вычислительная техника -- микропроцессорная техника -- системное программное обеспечение -- охрана труда -- система счисления -- кодирование -- архитектура компьютера -- алгебра логики -- физические основы вычислительной техники
Аннотация: Охватывает широкий круг вопросов в области основ вычислительной техники, информатики, основ микропроцессорной техники, системного программного обеспечения. В учебнике объединены информационные теоретические материалы, практические работы, контрольные вопросы и задания, а также отдельно выделены основные понятия и определения. В сжатой, но при этом доступной для восприятия форме изложены все разделы программы курса. Предлагаемый учебный материал соответствует учебному плану и рабочим программам по включенным предметам в полном объеме. Рекомендуется использовать на уроках-лекциях, уроках контроля знаний, при самостоятельном изучении предмета для специальностей, связанных с изучением компьютерной деятельности при самостоятельном, заочном, и непосредственном обучении. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям. Предназначен для широкого круга читателей: от начинающих изучение основ вычислительной техники и информатики до специалистов на уровне профессионально-технического и среднего специального образования

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие

RU-LAN-BOOK-328547

Муханин, Л. Г.
Схемотехника измерительных устройств [] : учебное пособие для спо / Л. Г. Муханин. - 3-е изд., стер. - Санкт-Петербург : Лань, 2023. - 284 с. - ISBN 978-5-507-47105-8 : Б. ц.
Книга из коллекции Лань - Инженерно-технические науки
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/185993

УДК

621.38

ББК 32.844я723
Рубрики: Инженерно-технические науки--Автоматика и управление в технических системах--Лань
Кл.слова (ненормированные):
схемотехника -- алгебра логики -- измерительный прибор -- отсчетно-измерительные устройства -- системы обработки информации -- измерительный сигнал -- погрешность измерения -- компенсация погрешности -- электронный фазовый интерполятор -- триггеры -- счетчики импульсов -- функциональные устройства -- операционные усилители -- цифроаналоговые преобразователи -- аналого-цифровые преобразователи -- ацп -- индикаторы -- муаровые растровые преобразователи -- первичный преобразователь
Аннотация: Изложены основы алгебры логики, электронно-компонентная база систем обработки информации, специальные вопросы схемотехники измерительных приборов на примере фотоэлектрических отсчетно-измерительных устройств. Рассмотрены вопросы коррекции системы измерительных сигналов и их аппаратурной реализации, проведен анализ методов и средств структурной компенсации погрешностей измерения, представлена теория электронных фазовых интерполяторов. Показана взаимосвязь механических, оптических и электрических параметров при обработке измерительной информации. Соответствует современным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным квалификационным требованиям. Книга предназначена для студентов технических ссузов. Автор надеется, что отдельные разделы книги будут полезны специалистам в области схемотехники, оптоэлектроники и измерительной техники.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие