 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
Д. В. Гринченков,С. И. Потоцкий
Математическая логика и теория алгоритмов для программистов
КноРус, 2010 Страниц: 208 Формат: 60x90/16 Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Экипаж ТПК [Союз МС-05k благополучно вернулся на Землю с МКС
Российский космонавт Сергей Рязанский, астронавт NASA Рэндолф Брезник и астронавт ЕSА Паоло Несполи после приземления чувствуют себя хорошо.
Эдита Пьеха: Я радуюсь, что еще нужна зрителям
Свой день рождения Эдита Пьеха по традиции отмечает на сцене. Такую форму празднования певица придумала 20 лет назад. За эти годы на концертах, проходивших 31 июля, Пьехе было подарено около 2000 букетов и 50 корзин с цветами.
|
