Гуц А.К Математическая логика и теория алгоритмов: учебное пособие. 3-е издание

цена 290 руб.

Перейти в интернет-магазин

купить в магазине Буквоед г. Санкт-Петербург

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети" подробнее

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся • отечественные математики, оказавшие глубокое влияние на стиль и направление • мировых исследований по логике и философии математики. Их учебник • "Математическая логика: Дополнительные главы" написан на основании • курса математической логики, читавшегося обоими авторами на • механико-математическом факультете МГУ им. М.В. Ломоносова • Изложение фундаментальных фактов современной логики (начал • аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя • о неполноте, программы Гильберта обоснования математики) не предполагает • специальной подготовки и рассчитано на широкий круг читателей, интересующихся • математической логикой и философскими проблемами современной математики

Буквоед г. Москва (пункт выдачи заказов)

493 руб.

Глухов М.М Математическая логика. Дискретные функции. Теория алгоритмов. Учебное пособие 1-е изд

Учебное пособие содержит полное изложение материала учебных дисциплин "Математическая логика и теория алгоритмов" и "Дискретные функции" Государственного образовательного стандарта высшего профессионального образования по специальностям и направлениям "Компьютерная безопасность", "Информационная безопасность автоматизированных систем" и некоторым другим смежным специальностям • Пособие состоит из трех взаимосвязанных частей, представляющих основы математической логики, теории дискретных функций и теории алгоритмов • Предназначено для студентов вузов, обучающихся по специальностям и направлениям в области информационной безопасности, а также для аспирантов и студентов вузов других технических специальностей и направлений, изучающих дискретную математику

Буквоед г. Москва (пункт выдачи заказов)

1 128 руб.

Инфра-М Логика. Теория аргументации. Учебное пособие Разов Павел Викторович, Дягилев Василий Васильевич

В учебном пособии рассмотрены основные разделы курса формальной логики, принципы построения умозаключений, основы аргументации и коммуникации. Темы изложены с учетом достижений современной логической науки • Помимо теоретической части, включены практические задания и тексты для аналитического разбора • Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения • Предназначено для бакалавров, магистрантов и аспирантов гуманитарных специальностей. Может быть также использовано всеми желающими изучить логику и теорию аргументации или усовершенствовать знание в данных дисциплинах

My-shop.ru г. Москва

905 руб.

Теория менеджмента Учебное пособие (ВО Бакалавр) Грибов

Учебное пособие написано для бакалавров в соответствии с требованиями Федерального государственного образовательного стандарта третьего поколения. Содержание пособия достаточно полно отражает современную проблематику управления организацией в условиях рыночных отношений. Дано комплексное представление о системе менеджмента, его элементах, процессах, механизмах. Изложение каждой главы сопровождается схемами, рисунками, таблицами, завершается контрольными вопросами, тестами, практическими заданиями • Для студентов вузов, а также аспирантов и практических работников

Буквоед г. Москва (пункт выдачи заказов)

1 603 руб.

Лань Теория чисел. Учебное пособие Бухштаб Александр Адольфович

Учебное пособие полностью охватывает программу по теории чисел, а также содержит дополнительный материал, который может быть использован при организации работы спецсеминаров и в качестве основы для курсовых работ по теории чисел • Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих теорию чисел

My-shop.ru г. Москва

1 613 руб.

Лань Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. Уч. пособие Глухов Михаил Михайлович, Козлитин Олег Алексеевич, Шапошников Виталий Анатольевич

Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся к алгебре и исчислению высказываний, алгебре и исчислению предикатов, теории дискретных функций, включая вопросы их групповой классификации, теории алгоритмов и вопросы сложности алгоритмов • Учебное пособие будет полезно также студентам вузов, в которых изучается дискретная математика и математическая логика

My-shop.ru г. Москва

968 руб.

Лань Математические методы системного анализа. Учебное пособие Матвеев Александр Иванович

В первых разделах учебного пособия рассмотрены основы теории множеств, элементы математической логики, теория графов. Основная часть пособия посвящена наиболее эффективным методам оптимизации, основам линейного и нелинейного программирования, динамическому программированию, сетевым методам, элементам теории игр. Для поиска экстремумов функции одной переменной предлагается использовать метод дихотомии, золотого сечения, метод Фибоначчи, а также методы более высокого порядка: Ньютона, касательных и секущих. При поиске экстремумов функции многих переменных рассматриваются метод покоординатного спуска и методы первого порядка: градиентный метод с переменным шагом, метод Ньютона и наискорейшего спуска. Изложен алгоритм решения задач линейного программирования симплекс-методом, приводится также геометрический метод их решения

My-shop.ru г. Москва

760 руб.

Лань Элементы высшей алгебры и теории кодирования. Учебное пособие Рацеев Сергей Михайлович

Учебное пособие содержит алгебраическую основу и ее применение в теории кодирования. Сначала приводятся основные сведения по таким алгебраическим структурам, как группы, кольца, кольца многочленов, кольца матриц, системы линейных алгебраических уравнений, векторные пространства, пространства линейных операторов, билинейные и квадратичные формы, поля, конечные поля. Далее излагаются базовые разделы алгебраической теории кодирования: линейные коды, циклические коды, коды Боуза-Чоудхури-Хоквингема, коды Рида-Соломона, обобщенные коды Рида-Соломона, альтернативные коды, коды Гоппы, кодовые криптосистемы Мак-Элиса и Нидеррайтера. Особое внимание уделено алгоритмам декодирования, которые математически обосновываются и сопровождаются численными примерами

My-shop.ru г. Москва

4 861 руб.

Инфра-М Логика для юристов. Учебное пособие Корнакова Светлана Викторовна, Сергеева Олеся Сергеевна

Учебное пособие содержит систематическое изложение курса логики, дополненное практическими заданиями и образцами их выполнения. Выполнение практических заданий будет способствовать активному усвоению теории и приобретению практических навыков логического рассуждения. Составной частью учебного пособия являются образцы тестовых заданий и глоссарий — словарь основных логических терминов. Учебное пособие соответствует требованиям Федерального государственного образовательного стандарта высшего образования последнего поколения и примерной программе по данной дисциплине • Предназначено для студентов, обучающихся по специальности «Юриспруденция» всех форм обучения. Доступность изложения материала позволяет использовать учебное пособие в средне-специальных учебных заведениях

My-shop.ru г. Москва

847 руб.

Лань Математические методы экономической динамики. Учебное пособие Прасолов Александр Витальевич

Учебное пособие содержит методы и модели экономической динамики, т.е. той части экономической теории, которая устанавливает причины изменений в экономике, основываясь на количественных оценках. Изложенный в книге материал описывает математические методы исследования линейных и нелинейных уравнений, анализ влияния временных лагов, задачи идентификации и прогнозирования. Учебное пособие предназначено для студентов, обучающихся по направлению «Прикладная математика», а также для экономистов, биологов и социологов

My-shop.ru г. Москва

1 211 руб.

Прасолов А.В Математические методы экономической динамики: Учебное пособие

Учебное пособие содержит методы и модели экономической динамики, т. е. той части экономической теории, которая устанавливает причины изменений в экономике, основываясь на количественных оценках • Изложенный в книге материал будет полезен аналитически мыслящим специалистам с хорошей математической подготовкой, в частности студентам, аспирантам и научным работникам. Математические методы исследования линейных и нелинейных уравнений, анализ влияния временных лагов, задачи идентификации и прогнозирования - все это найдет своего читателя не только среди экономистов, но и среди биологов, социологов и, вообще, прикладных математиков

Буквоед г. Москва (пункт выдачи заказов)

1 323 руб.

Кочеев А.А Механика и теория относительности: учебное пособие. 2-ое издание, исправленное

Учебное пособие «Механика и теория относительности» составлено на основе курса лекций, читаемых авторами на факультете информационных технологий Новосибирского государственного университета. Главная цель учебного пособия — дать в краткой и доступной форме изложение основных законов как нерелятивистской, так и релятивистской механики. Обсуждаются основы нерелятивистской и релятивистской кинематики и динамики, проблемы линейных колебаний, движение в центральном поле и движение твердого тела. Учебное пособие предназначено для студентов университетов, педагогических и технических вузов

Буквоед г. Москва (пункт выдачи заказов)

502 руб.

Буквоед – книжный интернет магазин: купить книги, учебники, подарки.