Информатика

       

Информатика

Введение
Введение в информатику
Персональные компьютеры
Работа на персональных ЭВМ
Редактирование текстов на ЭВМ
Контроль знаний на ЭВМ

Основные возможности Интернет
Базы данных на ЭВМ
Выполнение расчетов на компьютерах
Постановка и решение задач

Элементы математической логики
Основные логические операции
Элементы языка Пролог
Базы знаний на ЭВМ
Законы логического вывода

Основные свойства алгоритмов
Базовые средства программирования
Основы безошибочного программирования
Средства обработки данных
Решение задач на ЭВМ
Анализ правильности алгоритмов

Решение прикладных задач
Элементы доказательного программирования
Решение сложных задач
Экзамены и зачеты по информатике

Проверка программ на ЭВМ
Олимпиадные задачи по информатике

Информатика

Технология дистанционного обучения
Назначение интерпретатора Пролога
Запуск интерпретатора Пролога
Диалог с программами на Прологе
Ввод и редактирование программ
Операции с файлами
Базовые понятия языка Пролог
Описания фактов

Правила записи вопросов
Запись правил и процедур
Встроенные предикаты Пролога
Толковый словарь
Список рекомендуемой литературы

Секреты покорения эльфов

Считается, будто бы обмен исполняемыми файлами в мире LINUX намного ниже, чем в Windows, что большинство пользователей качает исходники и компилирует их самостоятельно. Да как бы не так! Исходники занимают намного больше места, а модем не резиновый, это раз! Далеко не всегда сборка проходит гладко и тогда приходиться колдовать над компилятором и исправлять ошибки разработчиков, что требует квалификации, — это два! Наконец, компиляция больших проектов занимает довольно продолжительное время, зачастую намного превышающее время скачки (десятки минут или даже часы) — это три. Есть и другие причины, которые мы не будем перечислять здесь. Важно одно — очень многие пользователи предпочитают сливать готовые бинарники, скомпилированные для своей оси. Часто такие файлы лежат прямо на официальном сайте производителя. Часто, но не всегда! Есть и другая проблема. Линуховые программисты не заморачиваются с интерактивными конфигураторами и серьезно злоупотребляют "дефайнами" — директивами условной компиляции. Например, для однопроцессорной машины создается одна сборка, для двух- или четырех-процессорной — другая. Таких опций может быть очень много и выложить все разновидности сборок на официальный сайт просто нереально. А компилировать самостоятельно ? лень. Вот и приходится рыскать по сети в поисках готовых сборок, откомпилированных независимыми разработчиками и качать их. При этом возникает естественная угроза нарваться на вирус, закладку или троян и такие пришествия уже случались!

Продолжение
Эльфы большие и маленькие


Содержание раздела