Деловая литература. Право. Психология

Теория функциональных программ

Скачать книгу "Теория функциональных программ"
Страниц:
Язык: Русский
В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наимень ...

Методы доказательства в информатике

Скачать книгу "Методы доказательства в информатике"
Страниц:
Язык: Русский
В современном мире информатика и компьютерная техника развиваются очень стремительно. И у многих студентов возникает вопрос: «А нужны ли алгоритмы в программировании вообще как таковые?» Они поднимают ...

Преподавание темы «Системы управления базами данных» в курсе ИКТ

Скачать книгу "Преподавание темы «Системы управления базами данных» в курсе ИКТ"
Страниц:
Язык: Русский
Работа посвящена основным понятиям и функциям систем управления реляционными базами данных. Основные приёмы по созданию, модификации, сортировке и поиску информации рассмотрены на примере MS Office A ...

Теория объектно-событийных моделей.

Скачать книгу "Теория объектно-событийных моделей."
Страниц:
Язык: Русский
Исходя из общих представлений об исполнении последовательных и параллельных процессов на вычислительных системах выводится аксиоматическая теория объектно-событийных мделей. Формулируется ряд интересн ...

Компьютерная система "Практикум по экспериментальной психологии"

Скачать книгу "Компьютерная система "Практикум по экспериментальной психологии""
Страниц:
Язык: Русский
Цель проведенной работы – автоматизация определенных процедур проведения демонстрационных психологических исследований для ускорения сбора и обработки эмпирических данных. Разработанная система позво ...
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17