Premium domains portfolio DN Epic Store - Mighty Pack Of Catching Domain Names Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Новинки

А. К. Гуц. Математическая логика и теория алгоритмов
Ценa:198 руб.Купить

А. К. Гуц. Математическая логика и теория алгоритмов

Издательство:Либроком
Год издания:2009
Страниц:120
ISBN:978-5-397-00056-7

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

Все новинки

Лидеры продаж

В. М. Жуков. Практикум по высшей математике для инженерных специальностей
Ценa:46 руб.Купить

В. М. Жуков. Практикум по высшей математике для инженерных специальностей

Издательство:Феникс
Год издания:2007
Страниц:176
ISBN:978-5-222-12686-8

В практикуме по высшей математике представлены следующие разделы: линейная алгебра, векторная алгебра, аналитическая геометрия, введение в математический анализ, производная и дифференциал функции, приложения производной функции одной переменной, дифференциальное исчисление функций двух переменных, неопределенный интеграл, определенный интеграл и его приложения. В начале каждого раздела приведена краткая теория и основные формулы. Задачи, предложенные для решения, приведены в порядке возрастания сложности и разделены на задачи для решения на практических занятиях и домашнего задания. В завершении каждого раздела приведены ответы.
Разделы математики соответствуют содержанию учебной программы первого года обучения математике согласно требованиям Государственного образовательного ...

Все бестселлеры

Основания математики, логика

Алгебра

Геометрия

Общая математика

Высшая математика

Математический и функциональный анализ

Вычислительная математика, численные методы

Математическая кибернетика

Математическое моделирование

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