Языки и исчисления

Введение
Высказывания и операции

Полные системы связок
Схемы из функциональных элементов
Исчисление высказываний
Исчисление высказываний (ИВ)
Второе доказательство теоремы о полноте
Поиск контрпримера и исчисление секвенций
Интуиционистская пропозициональная логика

Языки и исчисления

Языки первого порядка
Формулы и интерпретации
Определение истинности

Выразимые предикаты

Языки и исчисления

Выразимость в арифметике
Невыразимые предикаты: автоморфизмы
Элиминация кванторов: элиминация кванторов

Языки и исчисления

Арифметика Пресбургера
Теорема Тарского-Зайденберга

Элементарная эквивалентность
Игра Эренфойхта
Понижение мощности
Общезначимые формулы
Аксиомы и правила вывода
Корректность исчисления предикатов

Языки и исчисления

Примеры выводимых формул
Выводимость из посылок
Переменные и константы
Полнота исчисления предикатов

Переименование переменных
Предваренная нормальная форма
Теорема Эрбрана

Сколемовские функции

Языки и исчисления

Аксиомы равенства
Повышение мощности
Полные теории

Плотные линейно упорядоченные множества
Теория Th(Q,=,,+,0,1)
Теория Th(Z,=,,S,0)
Алгебраически замкнутые поля характеристики 0
Вещественно замкнутые поля

Языки и исчисления

Неполные и неразрешимые теории
Теория равенства

Теория полугрупп
Формальная арифметика
Диаграммы и расширения
Ультрафильтры и компактность
Нестандартный анализ

Операционная система UNIX

Операционная система UNIX - это набор программ, который управляет компьютером, осуществляет связь между вами и компьютером и обеспечивает вас инструментальными средствами, чтобы помочь вам выполнить вашу работу. Разработанная, чтобы обеспечить легкость, эффективность и гибкость программного обеспечения, система UNIX имеет несколько полезных функций:
основная цель системы - это выполнять широкий спектр заданий и программ;
интерактивное окружение, которое позволяет вам связываться напрямую с компьютером и получать немедленно ответы на ваши запросы и сообщения;
многопользовательское окружение, которое позволяет вам разделять ресурсы компьютера с другими пользователями без уменьшения производительности. Этот метод называется разделением времени. Система UNIX взаимодействует с пользователями поочередно, но так быстро, что кажется, что взаимодействует со всеми пользователями одновременно;
многозадачное окружение, которое позволяет вам выполнять более одного задания в одно и тоже время.
Система UNIX имеет 4 основных компонента: ядро - это программа, которая образует ядро операционной системы; она координирует внутренние функции компьютера ( такие как размещение системных ресурсов). Ядро работает невидимо для вас; shell - это программа, которая осуществляет связь между вами и ядром, интерпретируя и выполняя ваши команды. Так как она читает ваш ввод и посылает вам сообщения, то описывается как интерактивная; commands - это имена программ, которые компьютер должен выполнить. Пакеты программ называются инструментальными средствами. Система UNIX обеспечивает инструментальными средствами для таких заданий как создание и изменение текста, написание программ, развитие инструментария программного обеспечения, обмен информацией с другими посредством компьютера; file system - файловая система - это набор всех файлов, возможных для вашего компьютера. Она помогает вам легко сохранять и отыскивать информацию.

Основные функции и компоненты системы UNIX
Терминал
Управление офисом системы
Редактор текстов ed
Метасимволы
Основные сведения об awk
Управление изменениями с использованием технологий Rational

---