Приложение
для AndroidПолное описание
| УДК | |
| 004.312 |
| ББК | |
| 22.124я73 |
Кл.слова (ненормированные): УЧЕБНИК ДЛЯ ВЫСШЕЙ ШКОЛЫ
Аннотация: Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Доп. точки доступа:
Брошкова, Н. Л.
Физматлит
https://biblioclub.ru/index.php?page=book&id=457468
Держатели документа:
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 457468)
Шифр в сводном ЭК: 32c5d1c582e96e63f1cd329537195907
Брошкова Н.Л. Об одном языке манипулирования данными / Н. Л. Брошкова, 2007. - 32 с. - Текст : непосредственный.Кондратьев А.С. Задачи по термодинамике, статистической физике и кинетической теории / А. С. Кондратьев, П. А. Райгородский, П. А. Райгородский, 2007. - 253 с. - Текст : электронный.Путинцев Н.М. Классическая теория поляризации молекулярных систем / Н. М. Путинцев, Д. Н. Путинцев, Д. Н. Путинцев, 2011. - 176 с. - Текст : непосредственный.Башкин В.А. Численное исследование задач внешней и внутренней аэродинамики / В. А. Башкин, И. В. Егоров, И. В. Егоров, 2013. - 331 с. - Текст : электронный.Формальский А.М. Управление движением неустойчивых объектов / А. М. Формальский, 2014. - 229 с. - Текст : электронный.Мелешко Е.А. Быстродействующая импульсная электроника / Е. А. Мелешко, 2007. - 317 с. - Текст : электронный.Сабитов К.Б. К теории уравнений смешанного типа / К. Б. Сабитов, 2014. - 300 с. - Текст : электронный.Абрамочкин Е.Г. Современная оптика гауссовых пучков / Е. Г. Абрамочкин, В. Г. Волостников, В. Г. Волостников, 2010. - 184 с. - Текст : электронный.Петров А.Г. Аналитическая гидродинамика : учебное пособие / А. Г. Петров, 2010. - 518 с. - Текст : электронный.Мазалова, Виктория Леонидовна. Нанокластеры: рентгеноспектральные исследования и компьютерное моделирование / В. Л. Мазалова, А. Н. Кравцова, А. В. Солдатов, 2012. - 182 с. (Введено оглавление). - Текст : непосредственный.Салимов Р.Б. Математика для инженеров и технологов / Р. Б. Салимов, 2009. - 483 с. - Текст : электронный.Воропаева Н.В. Геометрическая декомпозиция сингулярно возмущенных систем / Н. В. Воропаева, В. А. Соболев, В. А. Соболев, 2009. - 255 с. - Текст : электронный.Савинов В.П. Физика высокочастотного емкостного разряда / В. П. Савинов, 2013. - 307 с. - Текст : электронный.Желудев Н.И. Внутренняя симметрия тензора нелокальной кубической восприимчивости для кристаллографических и предельных групп / Н. И. Желудев, С. В. Попов, Ю. П. Свирко, 1990. - 43 с. - Текст : непосредственный.Винтизенко И.И. Релятивистские магнетроны / И. И. Винтизенко, 2013. - 360 с. - Текст : непосредственный.Бисикало, Дмитрий Валерьевич. Газодинамика тесных двойных звезд / Д. В. Бисикало, А. Г. Жилкин, А. А. Боярчук, 2013. - 632 с. - Текст : непосредственный.Соболев В.А. Редукция моделей и критические явления в макрокинетике / В. А. Соболев, Е. А. Щепакина, Е. А. Щепакина, 2010. - 319 с. - Текст : электронный.Щитов И.Н. Асимптотические разложения решений сингулярно возмущенных задач для обыкновенных дифференциальных уравнений / И. Н. Щитов, 2013. - 169 с. - Текст : электронный.Карлов Н.В. Начальные главы квантовой механики / Н. В. Карлов, Н. А. Кириченко, Н. А. Кириченко, 2006. - 359 с. - Текст : электронный.Карасев И.П. Теория функций комплексного переменного : учебное пособие / И. П. Карасев, 2008. - 214 с. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Кангин В.В. Multiprog и UltraLogik - системы программирования промышленных контроллеров / В. В. Кангин, М. В. Кангин, Д. Н. Ямолдинов, 2008. - 112 с. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh [et al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - XV, 250 p. - Текст : непосредственный.Springer series in advanced microelectronics / ed.: K. Itoh, T. Lee [at al.]. 18 : Microcontrollers in practice / M. Mitescu, I. Susnea, 2005. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Mahapatra S. Hybrid CMOS single-electron-transistor device and circuit design / S. Mahapatra, A. M. Ionescu, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Быстрицкий А.В. Проектирование структуры межсоединений программируемых логических интегральных схем / А. В. Быстрицкий, 2012. - 16 с. - Текст : непосредственный.Кузелин М.О. Современные семейства ПЛИС фирмы XILINX / М. О. Кузелин, Д. А. Кнышев, В. Ю. Зотов, 2004. - 440 с. - Текст : непосредственный.Медведева М.В. Клеточная самоорганизация программируемых отказоустойчивых мультимикроконтроллеров / М. В. Медведева, М. В. Медведева, А. В. Медведев, В. А. Колосков, Ф. А. Старков, 2000. - 200 с. - Текст : непосредственный.Хлопотов И.А. Методы анализа и синтеза многофункциональных программируемых аналого-цифровых "систем на кристалле" : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / И. А. Хлопотов, 2006. - 19 с. - Текст : непосредственный.Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный.Инютин С.А. Арифметико-логические основы вычислительных систем / С. А. Инютин, 2001. - 117 с. - Текст : непосредственный.Власов Г.С. Аналогово-цифровые преобразователи технических систем управления и информации / Г. С. Власов, 2002. - 152 с. - Текст : непосредственный.Элементы проектирования микропроцессорных устройств и систем : учебное пособие / С. В. Тюрин, В. А. Кондусов, А. В. Турецкий, А. В. Кудрявцев, 2008. - 89 с. - Текст : непосредственный.Мальцев П.П. Цифровые интегральные микросхемы / П. П. Мальцев, П. П. Мальцев, Н. С. Долидзе, М. И. Критенко, 1994. - 240 c. - Текст : непосредственный.Цифровые интегральные микросхемы : Справочник / Сост.:В.Ю.Толкачев, Т.А.Кузьмина. Т. 2 : Логические быстродействующие биполярные микросхемы, триггеры и коммутаторы, 1994. - 288 с. - Текст : непосредственный.Музыченко О.Н. Универсальные методы синтеза логических схем : учеб. пособие. Кн.1, 2005. - 149 с. - Текст : непосредственный.Баранов В.Н. Применение микроконтроллеров AVR: схемы, алгоритмы, программы / В. Н. Баранов, 2006. - 288 с. - Текст : непосредственный.Битар Б. Логические программируемые элементы : препринт / Б. Битар, 1993. - 22 с. - Текст : непосредственный.
Показать все результатыПросмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация