Математическая логика. Учебник для бакалавриата

Здесь можно скачать "Математическая логика. Учебник для бакалавриата", год 2020 в формате fb2 полную версию бесплатно без регистрации и SMS, а также читать онлайн книгу на сайте ПараКниг (paraknig.me)

Год издания: 2020
Полная версия книги

Рейтинг

Содержание книги - Математическая логика. Учебник для бакалавриата Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович

Математическая логика. Учебник для бакалавриата - описание и краткое содержание, автор Матросов Виктор Леонидович, Мирзоев Махмашариф Сайфович, читайте бесплатно онлайн на сайте электронной библиотеки paraknig.me

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.
Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.
Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.





Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться


Пока никто не оставил впечатление о книге...


Пока никто не оставил цитат из этой книги...

Другие книги авторавсе книги
Операторы преобразования для краевых задач, интегральных представлений и восстановления зависимостей
Теория алгоритмов. Учебное пособие
Саманта Смит