Логическое программирование

Корпоративные ИС | Учебник КС | C++ | Архитектура ЭВМ | Local Area Network | Брандмауэры | Паскаль | Базы данных | SQL

На главную

Математика
Функции и их графики
Интеграллы примеры
Пределы
Производные
Векторная алгебра
Корни уравнения
Математический анализ
Кривые и поверхности
Комплексные числа
Математическая логика
Дифференцирование и
интегральное исчисление
Дифференциальные уравнения
Интегралы
Курсовые задания
Применение интегралов
Теория функций
комплексного переменного
Двойные интегралы
Физические задачи
Элементарная математика
Математический анализ
Степенные ряды
Вычисление пределов
Типовой расчет
Подготовка к экзамену
Примеры решения задач
Лекции матан
Правило Лопиталя
Элементы теории кривых
Производные и дифференциалы
высших порядков
Непрерывные функции
Предел функции
Последовательности
Формула Тейлора
Определенные интегралы
Кратные интегралы
Тензоры
Интегралы, зависящие
от параметра
Отображение рабочего
экрана Adobe Illustrator
Элементы теории поля
Криволинейные интегралы
Тройные интегралы
Задачи по Кузнецову
Вычислить предел
Построить график
Механика
Комбинаторика
Ядерная физика
Cвойства атомных ядер
Ядерные реакции
Модели атомных ядер
Задачи по физике
Механика
Термодинамика
Электростатика
Радиоактивность

Геометрическая оптика

Квантовая механика
Атомная физика
Класическая физика
Кинематика
Волновая и квантовая оптика
Электромагнитное и
электростатическое поле
Примеры решения
физических задач
Электромагнетизм
II семестр физики
III семестр физики
Потенциал
Электpостатика
Сопротивление материалов
Общие принципы расчета конструкции
Изгиб
Теории прочности
Запас усталостной прочности

Теория ОС

Классификация ОС
Представление данных
Машинные языки
Загрузка программ
Управление памятью
Виртуальная память
Внешние события
Параллелизм
Реализация многозадачности
Внешние устройства
Драйверы устройств
Файловые системы
Безопасность
Обзор архитектур ОС
Сетевые ОС
Корпоративные ИС
Протоколы TCP/IP
Брандмауэры
Учебник FTP
Системы безопасности
Windows 2000
Windows 2003
Linux
Архитектура ЭВМ
NT 5.0 Справка
Основы Интернет
Атака через Internet
Основы защиты
Компьютерные сети
Введение в КС
Принципы построения ВС
Local Area Network
Монтаж сети
Передача дискр. данных
Базовые технологии ЛС
Построение локальных сетей
Сетевой уровень
Глобальные сети
Средства анализа
Топология ЛС
Глобальные КС
Глоссарий
Информатика
Турбо Паскаль
Процедуры и функции Pascal
Pascal Курс лекций
Базы данных
Язык запросов SQL
Программирование на СИ
Логическое программирование
Примеры программирования

 

Общий обзор языка Пролог.

Синтаксис Пролога. Арифметика. Сопоставление.

Семантика Пролога.

Photoshop графический редактор

Списки. Встроенные предикаты.

Отсечение. Сортировка списков.

Встроенные предикаты. Поиск на Прологе.

Выполнение графических работ Метод вращения вокруг оси Начертательная геометрия

Встроенные предикаты обработки термов.


Русские иконы древнейшего периода Икона как изображение мира Икона Богоматери с Младенцем

Операции в Прологе. Поиск.

Поиск с предпочтением: Эвристический поиск.

Грамматические правила.

Задача о двух кувшинах.

Логические головоломки.

Программа "Быки и Коровы"

Классификация операционных систем Виртуальная память Реализация многозадачности Надежные аренда генератора дешевые
Системы безопасности Операционная система Linux Введение в компьютерные сети Принципы построения вычислительных систем Базовые технологии локальной сетиСредства анализа Процедуры и функции Pascal Язык запросов SQL Программирование на СИ Брандмауэры Протоколы TCP/IP Файловые системы Драйверы устройств