В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы. Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика"
My-shop.ru
г. Москва
504 руб.
Учебник представляет собой второе издание, переработанное и дополненное, в соответствии с Федеральным государственным образовательным стандартом высшего образования четвертого поколения и учебной программой по курсу «Уголовно-процессуальное право» на основе действующего уголовно-процессуального законодательства РФ. В основу данного учебника были положены международно-правовые акты, которые гарантируют права и свободы человека при производстве по уголовному делу, решения Европейского суда по правам человека, Конституция РФ, уголовно-процессуальное законодательство РФ, постановления Пленумов Верховного Суда РФ, материалы судебной практики • Учебник написан коллективом кафедры уголовно-процессуального права и криминалистики им. Н. В. Радутной Российской академии правосудия, федеральными судьями Верховного Суда РФ, а также известными учеными в области уголовно-процессуального права РФ
Буквоед
г. Москва (пункт выдачи заказов)
2 660 руб.