Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

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

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

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

Поисковый запрос: (<.>A=Поляков, В. И.$<.>)

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

IPRBooks-67258

67258

Зыков, А. Г.
Математическая логика [Электронный ресурс] : учебное пособие / Зыков А. Г. - Санкт-Петербург : Университет ИТМО, 2013. - 131 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
аксиоматическая теория -- алгебра -- высказывание -- гипотеза -- логика -- математика -- предикат -- формула
Аннотация: В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».

(для доступа требуется авторизация)

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

IPRBooks-67504

67504

Поляков, В. И.
Основы теории алгоритмов [Электронный ресурс] : учебное пособие по дисциплине «Математическая логика и теория алгоритмов» / Поляков В. И. - Санкт-Петербург : Университет ИТМО, 2012. - 50 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 73.6

Кл.слова (ненормированные):
алгоритм -- вычислительная техника -- инженерия -- информатика -- язык программирования
Аннотация: Пособие содержит обзор моделей алгоритма: алгоритмы распознавания регулярных языков конечными автоматами; свойства читающих, записывающих конечных автоматов и автоматов с выходом; преобразования блок-схем в конечные автоматы и регулярные выражения; машины Тьюринга и Поста; ассоциативные вычисления; рекурсивные функции. Приводятся задания для преобразования регулярных выражений в конечные автоматы и блок-схемы. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».

(для доступа требуется авторизация)

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

IPRBooks-67574

67574

Довгий, П. С.
Прикладная архитектура базовой модели процессора Intel [Электронный ресурс] : учебное пособие по дисциплине «Организация ЭВМ и систем» / Довгий П. С. - Санкт-Петербург : Университет ИТМО, 2012. - 114 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
вычислительная техника -- информатика -- компьютер -- микропроцессор -- прикладная архитектура
Аннотация: В учебном пособии содержатся основные сведения о прикладной архитектуре 16-разрядного микропроцессора Intel 8086, положившего начало самому распространенному семейству Intel 80x86, Pentium. В пособии рассмотрены основные элементы прикладной архитектуры, такие как аппаратно поддерживаемые типы и форматы данных, программная модель процессора, режимы адресации, форматы команд, а также базовая система команд. При этом элементы прикладной архитектуры рассматриваются как в общем плане (без привязки к конкретным моделям ЭВМ и процессоров), так и в плане их реализации в базовой модели процессора Intel. Рассмотренная в пособии базовая модель является основой для первоначального ознакомления с её дальнейшими развитиями в виде 32-разрядной архитектуры IA-32 (Intel Architecture), начало которой было положено процессором Intel 80386, а последующие расширения - в многочисленных моделях Intel Pentium. Пособие может служить основой при изучении программирования на языке Assembler, базовая версия которого ориентирована на рассмотренную в пособии модель Intel 8086. В целях облегчения усвоения материала и практического его использования при программировании приводится большое число примеров команд на ассемблере, поясняющих реализацию операций различных типов.

(для доступа требуется авторизация)

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

IPRBooks-71504

71504

Поляков, В. И.
Проектирование гибридных тонкопленочных интегральных микросхем [Электронный ресурс] : учебное пособие по дисциплине «Конструкторско-технологическое обеспечение производства ЭВМ» / Поляков В. И. - Санкт-Петербург : Университет ИТМО, 2011. - 80 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 22.3

Кл.слова (ненормированные):
вычислительная техника -- информационная система -- микросхема -- проектирование -- тонкая пленка
Аннотация: В пособии изложен материал по проектированию тонкопленочных гибридных интегральных схем. Описаны методы получения тонких пленок. Рассмотрены основные принципы проектирования топологии гибридных интегральных схем и методика расчета тонкопленочных резисторов и конденсаторов. В приложении приводятся варианты заданий. Пособие предназначено для самостоятельной работы студентов специальностей 230100 и 231000, изучающих дисциплину «Конструкторско-технологическое обеспечение производства ЭВМ».

(для доступа требуется авторизация)

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

IPRBooks-68121

68121

Довгий, П. С.
Синтез комбинационных схем [Электронный ресурс] : учебное пособие к курсовой работе по дисциплине «Дискретная математика» / Довгий П. С. - Санкт-Петербург : Университет ИТМО, 2009. - 63 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

517

ББК 22.1

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

(для доступа требуется авторизация)

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

IPRBooks-65300

65300

Иванова, Н. Ю.
Технология проектирования печатных плат в САПР Р-САD-2006 [Электронный ресурс] : учебное пособие / Иванова Н. Ю. - Санкт-Петербург : Университет ИТМО, 2009. - 168 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
интерфейс -- информационная технология -- печатная плата -- пэс -- сапр
Аннотация: В учебном пособии рассмотрены вопросы проектирования радиоэлектронных средств на базе новых информационных технологий. Даны основные сведения по структуре и эксплуатации промышленной системы автоматизированного проектирования (САПР) P-CAD-2006. В пособии изложены основные методики работы в САПР P-CAD-2006. Представлены методические рекомендации по выполнению цикла лабораторных работ и курсовому проектированию. Приведен пример выполнения курсового проекта.

(для доступа требуется авторизация)

Доп.точки доступа:
Петров, А. С.; Поляков, В. И.; Романова, Е. Б.
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 29.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)