Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Custom cover image
Custom cover image
Normal view MARC view

Сборник задач по математической логике и теории алгоритмов [Электронный ресурс] Учебное пособие Саратовский государственный университет им. Н.Г. Чернышевского

By: Игошин, Владимир ИвановичMaterial type: TextTextPublication details: Москва ООО "КУРС" 2018Edition: 1Description: 392 сISBN: 9785906818089; 9785161036846; 9785160114293Subject(s): Физико-математические науки -- Линейное программирование. Математическая логикаGenre/Form: Учебное пособие Other classification: 22.12я73 | 44.04.01 | 44.04.04 | 09.04.03 | 09.03.03 | 44.03.01 | 44.03.04 Online resources: ЭБС Знаниум | ЭБС Знаниум Abstract: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М 2012. 318 с. (Высшее образование). Для студентов университетов технических и педагогических вузов обучающихся как на уровне бакалавриата так и на уровне магистратуры по направлениям Математика Информатика Прикладная математика и информатика Математика и компьютерные науки Бизнес-информатика Математик-педагог Учитель математики.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М 2012. 318 с. (Высшее образование). Для студентов университетов технических и педагогических вузов обучающихся как на уровне бакалавриата так и на уровне магистратуры по направлениям Математика Информатика Прикладная математика и информатика Математика и компьютерные науки Бизнес-информатика Математик-педагог Учитель математики.

ВО - Бакалавриат

There are no comments on this title.

to post a comment.