!_Расширенный поиск_!    <НА ГЛАВНУЮ>

Скачать "Гринченков Д. В., Потоцкий С. И. - Математическая логика и теория алгоритмов для программистов" бесплатно

Панель управления
Логин 
Пароль 
 


Основные категории

-- Книги
-- Аудиокниги
-- Журналы
-- Фильмы


Информация
Все вопросы и пожелания пишите на [email protected]
Правообладателям
Расширенный поиск
по сайту
Математическая логика и теория алгоритмов для программистов : Программирование, Образование
автор: Gunpowder | 11 ноября 2018 | Просмотров: 443
 
Математическая логика и теория алгоритмов для программистов     Название:   
    Автор:   
    Формат:   PDF
    Размер:   11,79 Мб
    Год:   
    Качество:   Отличное
    Язык:   Русский
    Страниц:   206
    ISBN:   978-5-406-00120-2

 
 

Математическая логика и теория алгоритмов для программистов — Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.









Сосчитайте:   77 + один – 3 =      и нажмите   






Разместите ссылку на эту страницу в социальных сетях. Так о ней узнают тысячи человек:





Нашли ошибку? Сообщите администрации сайта:
Выберите один из разделов меню и, если необходимо, напишите комментарий
   77 + один – 2 =    
За ложную информацию бан на месяц


Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:      
Код для вставки в форум (BBCode):      
Прямая ссылка на эту публикацию:      


Помощь по работе с нашей библиотекой :

Программа для открытия файлов формата .PDF
Программа для открытия файлов формата .DJVU
Программа для открытия файлов формата .FB2

 
 
  • 0
 (голосов: 0)
Распечатать
 
 


Другие книги (журналы) по этой теме:
 
Математическая логика и теория алгоритмов (2019) | Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. | Математика, физика, химия | Скачать бесплатно Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. - Математическая логика и теория алгоритмов (2019)

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
 
 
Программирование. Математическая логика | Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А. | Программирование | Скачать бесплатно Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. А. - Программирование. Математическая логика

Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
 
 
Теоретические основы параллельного программирования | Андрейченко Д.К. и др. | Программирование | Скачать бесплатно Андрейченко Д.К. и др. - Теоретические основы параллельного программирования

Учебное пособие подготовлено на основе лекций по курсам «Теоретические основы параллельного программирования» и «Параллельные вычисления», читаемых в Саратовском государственном университете бакалаврам направлений «Математическое обеспечение и администрирование информационных систем» и «Фундаментальная информатика и информационные технологии».
 
 
Задачи и упражнения по математической логике и теории алгоритмов | Игошин В.И. | Математика, физика, химия | Скачать бесплатно Игошин В.И. - Задачи и упражнения по математической логике и теории алгоритмов

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
 
 
Параллельные методы и алгоритмы | Волосова А.В. | Программирование | Скачать бесплатно Волосова А.В. - Параллельные методы и алгоритмы

Рост сложных задач, решение которых связано с применением современных ИТ-технологий, ведет к необходимости использования параллельных вычислений. Параллельные вычисления носят междисциплинарный характер. Они затрагивают, в частности, такие области, как численные методы, структуры и алгоритмы обработки данных, аппаратное и программное обеспечение, с ...
 
 



Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
Если это не так - свяжитесь с администрацией сайта.
Материал будет немедленно удален.
Электронная версия этой публикации предоставляется только в ознакомительных целях.
Для дальнейшего её использования Вам необходимо будет
приобрести бумажный (электронный, аудио) вариант у правообладателей.

Администрация сайта

Наверх