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

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

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


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

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


Информация
Все вопросы и пожелания пишите на [email protected]
Правообладателям
Расширенный поиск
по сайту
Программирование. Математическая логика : Программирование, Образование
автор: Gunpowder | 26 февраля 2022 | Просмотров: 148
 
Программирование. Математическая логика     Название:   
    Автор:   
    Формат:   PDF
    Размер:   175,15 МБ
    Год:   
    Качество:   Отличное
    Язык:   Русский
    Страниц:   675

 
 

Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования.
В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования.
Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.









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






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





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


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

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


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

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

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


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

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

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

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

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
 
 
Современная зоопсихология | Мандель Б.Р. | Психология | Скачать бесплатно Мандель Б.Р. - Современная зоопсихология

Учебное пособие создано в соответствии с требованиями Федерального Государственного образовательного стандарта (ФГОС) высшего профессионального образования и Федерального государственного стандарта (ФГОС 3+) высшего профессионального образования по специальности 370301 – «Психология».
 
 



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

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

Наверх