Skip to content 
el cat en
База данных: ELS Lan
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с.. - ISBN 978-5-8114-0082-9
Книга из коллекции Лань - Математика
. - https://e.lanbook.com/book/167754
ББК 22.122я73
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Доп.точки доступа:
Сукачева, Т. Г.
Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с.. - ISBN 978-5-8114-0082-9
Книга из коллекции Лань - Математика
. - https://e.lanbook.com/book/167754
| УДК |
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Доп.точки доступа:
Сукачева, Т. Г.
2.
Подробнее
Пухальский, Г. И.
Проектирование цифровых устройств / Г. И. Пухальский, Т. Я. Новосельцева. - Санкт-Петербург : Лань, 2022. - 896 с.. - ISBN 978-5-8114-1265-5
Книга из коллекции Лань - Информатика. Рекомендовано УМО вузов РФ по образованию в области радиотехники, электроники, биомедицинской техники и автоматизации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Радиотехника»
. - https://e.lanbook.com/book/168881
ББК 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 файлов, содержащих примеры спроектированных цифровых устройств). Учебное пособие предназначено для студентов вузов радитехнических направлений подготовки, обеспечивает все виды занятий по цифровой технике по курсу «Цифровые и микропроцессорные устройства» и может быть использовано для проектирования интерфейсных устройств микропроцессорных систем.
Доп.точки доступа:
Новосельцева, Т. Я.
Пухальский, Г. И.
Проектирование цифровых устройств / Г. И. Пухальский, Т. Я. Новосельцева. - Санкт-Петербург : Лань, 2022. - 896 с.. - ISBN 978-5-8114-1265-5
Книга из коллекции Лань - Информатика. Рекомендовано УМО вузов РФ по образованию в области радиотехники, электроники, биомедицинской техники и автоматизации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки «Радиотехника»
. - https://e.lanbook.com/book/168881
| УДК |
Рубрики: Информатика--Виртуальные приборы--Лань
Кл.слова (ненормированные):
altera -- altera max+plus ii -- cd-rom (приложение) -- max+plus ii -- автогенератор -- автомат -- автомат линейный -- автомат цифровой -- автоматы -- автоматы асинхронные -- алгебра -- алгебра логики -- алгоритмы программирования -- анализ и синтез логических схем -- анализ логических схем -- арифметические комбинационные схемы -- арифметические комбинационные устройства -- асинхронные автоматы -- асинхронные импульсные автоматы -- асинхронные импульсные триггеры -- асинхронные потенциальные автоматы -- асинхронные потенциальные счетчики -- асинхронные потенциальные триггеры -- бис -- вейч -- вейча диаграмма -- вейча диаграммы -- генератор -- генераторы сигналов -- графы переходов -- гриф учебно-методического объединения -- двоичные коды -- двойственности закон -- двойственность -- демультиплексор -- дешифратор -- дешифраторы -- диаграмма -- диаграммы -- диаграммы вейча -- дизъюнктивная -- дизъюнктивные термы -- дополнительные коды -- дополнительный код -- ждущий -- закон двойственности -- импульсные автоматы -- импульсные сигналы -- импульсный -- интегральная -- интегральные схемы -- каскадирование -- код -- код преобразователь -- коды -- комбинационная -- комбинационные логические цепи -- комбинационные схемы -- компакт-диск (приложение) -- конвейерные цифровые устройства -- конъюнктивная -- конъюнктивные термы -- линейные автоматы -- линейные комбинационные схемы -- линейный -- логика -- логические схемы -- логические уравнения -- логические устройства -- логический -- макстерма -- макстермы -- микропроцессоры -- минимизация -- минимизация переключательных функций -- минтерма -- минтермы -- модели логических схем -- модели логических элементов -- мультивибратор -- мультиплексные функции -- мультиплексор -- обнаружение и исправление ошибок -- обратные коды -- обратный код -- операторные тождества -- память -- первичная -- первичные термы -- переключатели -- переключательная -- переключательные функции -- переключательные функции теория -- позиционные системы счисления -- потенциальные сигналы -- потенциальный -- преобразователи кодов -- преобразователь -- принцип и закон двойственности -- проектирование -- проектирование устройств -- проектирование цифровых систем -- проектирование цифровых устройств -- прямой код -- прямые коды -- радиоаапаратура -- радиоэлектроника -- разложения теорема -- регистр -- регистры -- регистры памяти -- рекомендовано умо -- рефлексные коды -- решение уравнений -- ридиотехника -- сдвигающие регистры -- сдвигающий -- сигнал -- сигнал импульсный -- синтез -- синтез асинхронных автоматов -- синтез комбинационных схем -- синтез линейных автоматов -- синтез логических схем -- синтез синхронных автоматов -- синтез синхроных автоматов -- синтез систем -- синхронные автоматы -- синхронные счетчики -- синхронные триггеры -- синхронные тригеры -- синхронный -- системы логических уравнений -- системы проектирования -- системы счисления -- скобочные формы функций -- слау -- совершенные нормальные формы представления функций -- схема -- схема комбинаторная -- схема комбинационная -- счетчик -- счетчик потенциальный асинхронный -- счетчик синхронный -- счетчики асинхронные потенциальные -- счетчики синхронные -- счисления -- таблицы переходов -- теоремы -- теоремы разложения -- терма -- терма первичная -- термы -- типовые комбинационные схемы -- тождество операторное -- триггер -- триггеры -- указатель интегральных схем -- уравнение логическое -- уравнения -- учебник и пособие * -- учебные издания для вузов -- учебные пособия -- учебные пособия для вузов -- фазовращатель -- формы функций -- функции -- функция -- функция форма скобочная -- цифровая техника -- цифровая электроника -- цифровой -- цифровые автоматы -- цифровые устройства -- шифратор -- шмитта -- электроника и радиотехника -- элемент -- элементы памяти
Аннотация: Изложены основы теории переключательных функций и цифровых автоматов, позволяющие простейшими методами решать задачи проектирования цифровых устройств. Даны оригинальные математические методы анализа и синтеза автоматов, основанные на операторах переходов и решениях систем логических уравнений. Практически для всех синтезированных схем изготовлены файлы (свыше 800), позволяющие читателям самостоятельно выполнить их моделирование с помощью модифицированного программного пакета Micro-Logic II. Приведенные сведения по программному пакету MAX+plus II BaseLine достаточны для выполнения проектов на семействе БИС Altera (на CD-ROM имеется около 500 файлов, содержащих примеры спроектированных цифровых устройств). Учебное пособие предназначено для студентов вузов радитехнических направлений подготовки, обеспечивает все виды занятий по цифровой технике по курсу «Цифровые и микропроцессорные устройства» и может быть использовано для проектирования интерфейсных устройств микропроцессорных систем.
Доп.точки доступа:
Новосельцева, Т. Я.
3.
Подробнее
Ржевский, С. В.
Исследование операций / С. В. Ржевский. - Санкт-Петербург : Лань, 2022. - 480 с.. - ISBN 978-5-8114-1480-2
Книга из коллекции Лань - Математика
. - https://e.lanbook.com/book/169378
ББК 22.18я73
Рубрики: Математика--Прикладная математика--Лань
Кл.слова (ненормированные):
статистическое моделирование -- учебные пособия -- численные методы -- условная оптимизация -- математическое программирование -- выпуклый анализ -- безусловная оптимизация -- двойственность -- игры -- теория -- многокритериальная оптимизация -- выпуклые множества -- выпуклые функции -- гейла - эйзенберга модель -- гомори метод -- исследование операций -- кобба - дугласа функция -- курно дуополия -- лагранжа функция -- леонтьева модель -- математика -- математические методы -- операций исследование (мат) -- теория двойственности -- теория игр -- учебники для вузов -- численные методы оптимизации -- эрроу теорема
Аннотация: В учебном пособии последовательно и систематизированно изложены основные понятия и методологические принципы теории исследования операций, математические методы одно- и многокритериальной оптимизации (общая классификация типов задач математического программирования, способы распознавания и поиска их решений), элементы теории двойственности, примеры постановок и методов решения задач линейного, нелинейного, целочисленного, стохастического и динамического программи-рования, задачи сетевого планирования и управления запасами, элементы теории игр. Пособие соответствует современным программам учебных дисциплин «Исследование операций», «Математическое программирование» и «Методы оптимальных решений» — типовых учебных программ федеральной компоненты «Математика» государственного образовательного стандарта высшего профессионального образования для подготовки бакалавров экономики, управления и других направлений специализации. Также предназначена для студентов других направлений специализации с углубленным изучением современных информационных технологий и для всех тех, кто стремится овладеть общими принципами оптимизации управленческих решений в самых разных областях деятельности.
Ржевский, С. В.
Исследование операций / С. В. Ржевский. - Санкт-Петербург : Лань, 2022. - 480 с.. - ISBN 978-5-8114-1480-2
Книга из коллекции Лань - Математика
. - https://e.lanbook.com/book/169378
| УДК |
Рубрики: Математика--Прикладная математика--Лань
Кл.слова (ненормированные):
статистическое моделирование -- учебные пособия -- численные методы -- условная оптимизация -- математическое программирование -- выпуклый анализ -- безусловная оптимизация -- двойственность -- игры -- теория -- многокритериальная оптимизация -- выпуклые множества -- выпуклые функции -- гейла - эйзенберга модель -- гомори метод -- исследование операций -- кобба - дугласа функция -- курно дуополия -- лагранжа функция -- леонтьева модель -- математика -- математические методы -- операций исследование (мат) -- теория двойственности -- теория игр -- учебники для вузов -- численные методы оптимизации -- эрроу теорема
Аннотация: В учебном пособии последовательно и систематизированно изложены основные понятия и методологические принципы теории исследования операций, математические методы одно- и многокритериальной оптимизации (общая классификация типов задач математического программирования, способы распознавания и поиска их решений), элементы теории двойственности, примеры постановок и методов решения задач линейного, нелинейного, целочисленного, стохастического и динамического программи-рования, задачи сетевого планирования и управления запасами, элементы теории игр. Пособие соответствует современным программам учебных дисциплин «Исследование операций», «Математическое программирование» и «Методы оптимальных решений» — типовых учебных программ федеральной компоненты «Математика» государственного образовательного стандарта высшего профессионального образования для подготовки бакалавров экономики, управления и других направлений специализации. Также предназначена для студентов других направлений специализации с углубленным изучением современных информационных технологий и для всех тех, кто стремится овладеть общими принципами оптимизации управленческих решений в самых разных областях деятельности.
Page 1, Results: 3