Сообщений в теме: 145

[antonyu]

ВКР не могу помогите пожалуйста люди !!!
Структура основной части. Количество глав, соразмерных по объему
Нарушено ограничение шаблона на количество глав в основной части документа. Значение в документе “14” больше максимально допустимого шаблоном значения “3”.
Соразмерность глав
количество страниц одной главы должно отличаться от другой не более чем на 5 страниц

[elena001]

Спасибо за ТР!!!

Сообщение отредактировал elena001: 04 May 2013 - 20:02

[AntiSgaMuh]

elena001 (01 May 2013 - 01:23) писал:

Помогите, ПОЖАЛУЙСТА!!! Нужна творческая работа (телеэссе) по "Современные информационные технологии и сети". Я заочница и первый раз с этим столкнулась. Даже не знаю с чего начать.

[Светлана_Парамонова]

Нужна ТР по политологии "Политика и роль её в обществе"

[Space]

Светлана_Парамонова (02 May 2013 - 19:24) писал:

Нужна ТР по политологии "Политика и роль её в обществе"

скинула вам в личку

Сообщение отредактировал qqqq: 02 May 2013 - 19:36

[Светлана_Парамонова]

Нужна помощь еще по математике ТР "Понятия и свойства функции.облать определения и область значения."и ТР по правоведению "Алиментные обязательства родителей и детей"

[Светлана_Парамонова]

Спасибо за политологию зачет,но очень нужна помощь по математике.

[blackaeros]

Люди помогите! Нужна ТР по предмету "Математическая логика и теория алгоритмов"

[student2013]

blackaeros (03 May 2013 - 14:48) писал:

Люди помогите! Нужна ТР по предмету "Математическая логика и теория алгоритмов"

вы темы то напишите для творческой,хотя бы несколько штук

Сообщение отредактировал student2013: 03 May 2013 - 15:50

[AntiSgaMuh]

student2013 (03 May 2013 - 15:49) писал:

вы темы то напишите для творческой,хотя бы несколько штук

Темы творческих работ по предмету: 1000 - Математическая логика и теория алгоритмов


- алгоритмические проблемы в теории автоматов. Что могут и что не могут конечные автоматы
- алгоритмические проблемы в теории грамматик
- аналитический и табличный методы приведения пропозициональных формул к совершенным нормальным формам
- булевы функции и способы их представления. Многочлены Жегалкина. Определение полноты систем булевых функций
- высказывания и операции над ними. Построение таблиц истинности пропозициональных формул
- замкнутые классы и их связь с функциональной полнотой. Монотонные функции и их свойства. Определение монотонной функции в терминах решеток
- исчисление высказываний. Использование аксиом и правил для организации логического вывода
- исчисление предикатов. Организация логического вывода в исчислении предикатов
- логические функции, логические схемы и бинарные программы
- метод резолюций в логике предикатов
- минимизация булевых функций с использованием алгоритма Квайна
- минимизация булевых функций с использованием карт Карно
- непротиворечивость и полнота логических исчислений. Семантическая и формальная непротиворечивость
- общая схема доказательства эквивалентности машин Тьюринга и рекурсивных функций
- основная идея доказательства существования универсальной машины Тьюринга и блок-схема ее построения
- основные равносильности логики предикатов.
- понятие неоднозначности в теории грамматик. Привести примеры неоднозначных грамматик и неоднозначного вывода в них
- понятие сложности вычислений. Схемы алгоритмов и потоков данных
- предикаты. Использование кванторных предикатов для записи различных предложений. Определение выполнимости и общезначимости предикатных формул
- приведение предикатных формул к клаузальной форме
- приведение предикатных формул к нормальной форме и сколемовской стандартной форме
- приведение пропозициональных формул к дизъюнктивной и конъюнктивной нормальной формам
- применение булевых функций для анализа и синтеза дискретных устройств. Анализ и синтез релейно-контактных схем.
- проверка логической правильности рассуждений. Логическое следствие
- связь формальных грамматик и конечных автоматов
- сравнение сложности вычислений на одноленточной и многоленточной машинах Тьюринга на примере распознавания палиндромов в двухбуквенном алфавите
- упрощение и преобразование логических схем
- упрощение логических выражений с использованием основных тождеств алгебры логики
- формальные грамматики и их свойства
- формальные грамматики. Классификация Хомского. Грамматики типа 2 и их использование при построении трансляторов