Языки и исчисления
ВведениеВысказывания и операции
Полные системы связок
Схемы из функциональных элементов
Исчисление высказываний
Исчисление высказываний (ИВ)
Второе доказательство теоремы о полноте
Поиск контрпримера и исчисление секвенций
Интуиционистская пропозициональная логика
Языки и исчисления
Языки первого порядкаФормулы и интерпретации
Определение истинности
Выразимые предикаты
Языки и исчисления
Выразимость в арифметике
Невыразимые предикаты: автоморфизмы
Элиминация кванторов: элиминация кванторов
Языки и исчисления
Арифметика ПресбургераТеорема Тарского-Зайденберга
Элементарная эквивалентность
Игра Эренфойхта
Понижение мощности
Общезначимые формулы
Аксиомы и правила вывода
Корректность исчисления предикатов
Языки и исчисления
Примеры выводимых формулВыводимость из посылок
Переменные и константы
Полнота исчисления предикатов
Переименование переменных
Предваренная нормальная форма
Теорема Эрбрана
Сколемовские функции
Языки и исчисления
Аксиомы равенстваПовышение мощности
Полные теории
Плотные линейно упорядоченные множества
Теория Th(Q,=,,+,0,1)
Теория Th(Z,=,,S,0)
Алгебраически замкнутые поля характеристики 0
Вещественно замкнутые поля
Языки и исчисления
Неполные и неразрешимые теорииТеория равенства
Теория полугрупп
Формальная арифметика
Диаграммы и расширения
Ультрафильтры и компактность
Нестандартный анализ
Операционная система UNIX
Операционная система UNIX - это набор программ, который управляет компьютером, осуществляет связь между вами и компьютером и обеспечивает вас инструментальными средствами, чтобы помочь вам выполнить вашу работу. Разработанная, чтобы обеспечить легкость, эффективность и гибкость программного обеспечения, система UNIX имеет несколько полезных функций:основная цель системы - это выполнять широкий спектр заданий и программ;
интерактивное окружение, которое позволяет вам связываться напрямую с компьютером и получать немедленно ответы на ваши запросы и сообщения;
многопользовательское окружение, которое позволяет вам разделять ресурсы компьютера с другими пользователями без уменьшения производительности. Этот метод называется разделением времени. Система UNIX взаимодействует с пользователями поочередно, но так быстро, что кажется, что взаимодействует со всеми пользователями одновременно;
многозадачное окружение, которое позволяет вам выполнять более одного задания в одно и тоже время.
Система UNIX имеет 4 основных компонента: ядро - это программа, которая образует ядро операционной системы; она координирует внутренние функции компьютера ( такие как размещение системных ресурсов). Ядро работает невидимо для вас; shell - это программа, которая осуществляет связь между вами и ядром, интерпретируя и выполняя ваши команды. Так как она читает ваш ввод и посылает вам сообщения, то описывается как интерактивная; commands - это имена программ, которые компьютер должен выполнить. Пакеты программ называются инструментальными средствами. Система UNIX обеспечивает инструментальными средствами для таких заданий как создание и изменение текста, написание программ, развитие инструментария программного обеспечения, обмен информацией с другими посредством компьютера; file system - файловая система - это набор всех файлов, возможных для вашего компьютера. Она помогает вам легко сохранять и отыскивать информацию.
Управленческий учет
Вообще этот раздел продолжает разговоры про бухгалтерию. Бухгалтерия - это прежде всего ответ на вопрос - где деньги? Управленческий учет - в принципе-то та же бухгалтерия, но только на языке понятном широкому кругу общественности. Глядя на бухгалтерский баланс не посвященный в таинство хрен чего поймет. Для таких и придумали учет на разговорном языке.Анализ управленческого учета
Бухгалтерия управленческого учета
Технологии управленческого учета
Корпоративный управленческий учет
Политика управленческого учета
Управленческий учет
Решения управленческого учета
Система управленческого учета
Документы управленческого учета
