Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий
Язык: русский.Выходные данные: Москва : КноРус, 2010Физическая характеристика: 206 с. : ил., табл. ; 22 см.ISBN: 978-5-406-00120-2 Резюме: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения..Библиография: Библиогр.: с. 205-206.Предметная рубрика - Тема: Математическая логика -- Учебные издания для высших учебных заведений | Алгоритмов теория -- Учебные издания для высших учебных заведений Другие классификации: ( rubbk ) В12я73-1 ; ( TCC-BG ) 0110 ; В12я73-1 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-5/1485 (Просмотр полки(Открывается ниже)) | 6768 | Доступно | 1-1869952 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-5/1485 (Просмотр полки(Открывается ниже)) | 6768 | Доступно | 3106908 | ||
| Книга | РНБ (Садовая) Универсальный читальный зал | У В12/Г-855 (Просмотр полки(Открывается ниже)) | Доступно | 1-198150 |
Библиогр.: с. 205-206
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.