Раздел 2. Аксиоматические теории 1.2. Формальные аксиоматические теории Формальная аксиоматическая теория Т считается заданной, если : 1) задано некоторое счётное конечное множество символов теории Т (алфавит). Конечные последовательности из символов Т называются выражениями теории Т.
Раздел 1. Алгебра высказываний. 1.1. Высказывания и операции над ними. Курс математической логики отвечает за формализацию человеческих рассуждений. Высказывание — исходное понятие логики высказываний, поэтому мы не определяем его через другие понятия этой теории. Определение: Высказывание — это простое, грамматически правильное, повествовательное предложение, о котором в данный момент мы можем судить истинно оно или ложно.
Методические указания к практическим занятиям по курсу «Математическая логика и теория алгоритмов». В последнее время специалисты, занимающиеся прикладными исследованиями, все больше используют аппарат математической логики. Это объясняется необходимостью создания и эксплуатации современной вычислительной техники, средств передачи и обработки информации, интеллектуальных автоматизированных систем управления и проектирования, базирующихся на принципах логики. Цель создания данного учебного пособия — Читать далее
Вариант 1 Выяснить, является ли рассуждение правильным: Если цех II не будет участвовать в выпуске нового образца продукции, то не будет участвовать и цех I. Если же II будет участвовать в выпуске нового образца, то в этой работе непременно должны быть задействованы цеха I и III. Необходимо ли участие цеха III, если в выпуске нового Читать далее
Лабораторные работы по Сети ЭВМ для ВКСС_з/о Лабораторная работа. Тема: «Анализ топологий «шина» и «звезда» Цель: научиться анализировать расходы на построение сетей, использующих топологии «шина» и «звезда»; создавать сеть на базе топологии «шина»; строить простейшую сеть на основе топологии «звезда»; оценивать надежность сети, построенной с использованием различных топологий. В первом задании вы должны, используя коаксиальный кабель Читать далее
1. Вычислительные машины, сети и системы телекоммуникаций — важный фактор научно-технического прогресса и прогресса цивилизации. 2. Задачи, решаемые современными вычислительными сетями: файловый сервис, сервис печати, сервис сообщений, сервис приложений, сервис баз данных. 3. Классификация информационно – вычислительных сетей.
Цель работы: Ознакомиться с принципами работы антивирусных программ. Изучить возможности и интерфейс программы DrWeb для Windows, овладеть основными приемами работы.
Цель работы: Ознакомиться с работой программ-архиваторов, изучить команды создания, просмотра, обновления, тестирования архивов, разархивацию. Изучить возможности и интерфейс программы WinRar, овладеть основными приемами работы.
Цель работы: Приобрести опыт установки современной операционной системы Ubuntu. Ознакомиться на практике с основными возможностями работы.
Цель работы: Приобрести опыт установки современной операционной системы Windows Server 2003. Ознакомиться на практике с основными возможностями работы.
Операционные системы 1. Понятие операционных систем 2. Прерывания 3. Виды ресурсов 4. Диаграммы состояния процессов 5. Классифицирование операционной системы
Приднестровский государственный университет им. Т.Г. Шевченко. Инженерно-технический институт Кафедра информационных технологий и автоматизированного управления производственными процессами Контрольная работа по «Операционные системы» Выполнил: студент группы 09В з/о Проверил:преподаватель Помян С.В. Тирасполь 2014г.
ТПР — Тест 6 1. По критерию определенности информации различают решения, принятые в условиях: a) [ ] вероятностной определенности (риска). b) [ ] Определенности. c) [ ] все перечисленное правильно. d) [ ] в условиях неопределенности.
МАИ — Выбор мобильного телефона
Кучеревская Е. гр. 09ИВТ1 Метод анализа иерархий — Выбор оперативной памяти Выбор оперативной памяти: матрица парных сравнений для уравоня 2
Иванова Св. гр. 09ИВТ1 МАИ — Выбор телевизора Выбор телевизора: матрица парных сравнений для уровня 2
Таблица 1 — Шкала относительной важности Интенсивности относительной важности Определение Объяснение 1 Равная важность Равный вклад двух объектов в достижении цели 3 Умеренное превосходство од¬ного над другим Опыт и суждения дают легкое превосходство одному объекту над другим
Вариант 1 Минимаксный: 1. Проверяем, имеет ли платежная матрица седловую точку. Если да, то выписываем решение игры в чистых стратегиях.
Многоканальные системы массового обслуживания СМО 2
ОТУ — лабораторная 1 ОТУ — лабораторная 2 ОТУ — лабораторная 2 4 ОТУ — лабораторная 3
Шпоры по ОТУ 1-15 Шпоры по ОТУ 15-30
Приднестровский государственный университет им. Т. Г. Шевченко, Инженерно-технический институт, кафедра “Программное обеспечение вычислительной техники и автоматизированных систем” Федорченко С.Г. ОСНОВЫ ТЕОРИИ УПРАВЛЕНИЯ Конспект лекций Тирасполь, 2010 г.
Лабораторная работа №1 Тема: Характеристики линейного звена Характеристики линейного звена Часть первая Получить передаточную функцию звена и построить для него АЧХ ФЧХ ЛАЧХ ЛФЧХ Частотный годограф
КОМПЛЕКСНЫЕ ЧИСЛА Пример текста из PDF файла: КОМПЛЕКСНЫЕ ЧИСЛА 1. Общие понятия Комплексное число — это выражение вида z = х + iy, где х и у –действительные числа, а i — мнимая единица, причем i2= -1 .
Сокращение HPFS расшифровывается как «High Performance File System» — высокопроизводительная файловая система.
Файловая система FAT Как мы уже отмечали, аббревиатура FAT (file allocation table) расшифровывается как «таблица размещения файлов». Этот термин относится к линейной табличной структуре со сведениями о файлах — именами файлов, их атрибутами и другими данными, определяющими местонахождение файлов (или их фрагментов) в среде FAT. Элемент FAT определяет фактическую область диска, в которой хранится начало Читать далее
Цель лабораторной работы: Научится устанавливать операционную систему Windows XP в VirtualBox, которая пригодится для запуска программного обеспечения, работы с реестром и пользованием служебными возможностями ОС .
Цель работы: Освоение механизмов управления средствами командных файлов, командного интерпретатора cmd ОС. Использование командных файлов для автоматической работы.
Цель: Пробрести навыки и освоить основные методы тестирования аппаратных средств ПК с помощью тестовых программ.
Цель работы: Знакомство с антивирусными программами и приобретение навыков работы с ними (проверка настроек антивирусов, сканирование файлов, папок и дисков, обновления антивирусной базы).
