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

На главную

Математика
Функции и их графики
Интеграллы примеры
Пределы
Производные
Решить систему методом Гаусса
Интегральное исчисление
Векторная алгебра
Система программирования
Турбо Паскаль
Корни уравнения
Математический анализ
Предел последовательности
Два основных метода
интегрирования
Дискретные источники
Кривые и поверхности
Последовательные алгоритмы
программирования
Функции маршрутизаторов
Комплексные числа
Мультиплексор или
коммутационная схема
Математическая логика
Дифференцирование и
интегральное исчисление
Дифференциальные уравнения
Интегралы
Многопроцессорные ВС
Курсовые задания
Применение интегралов
Теория функций
комплексного переменного
Двойные интегралы
Физические задачи
Элементарная математика
Постулаты квантовой механики
Математический анализ
Степенные ряды
Вычисление пределов
Типовой расчет
Вероятность безотказной
работы системы
Подготовка к экзамену
Примеры решения задач
Лекции матан
Правило Лопиталя
Элементы теории кривых
Производные и дифференциалы
высших порядков
Непрерывные функции
Предел функции
Последовательности
Формула Тейлора
Определенные интегралы
Кратные интегралы
Тензоры
Интегралы, зависящие
от параметра
Отображение рабочего
экрана 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 Файловые системы Драйверы устройств
макросы