Математическая логика и программное обеспечение компьютеров
Автор: dimidka2010 • Март 28, 2018 • Курсовая работа • 3,401 Слов (14 Страниц) • 948 Просмотры
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ
«ВОСТОЧНО-СИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ»
ЭЛЕКТРОТЕХНИЧЕСКИЙ ФАКУЛЬТЕТ
Кафедра «Системы информатики»
Курсовая работа
(Д.Б666.2.2.01.08.008.17.П3)
по дисциплине «Математическая логика»
Тема: «Математическая логика и программное обеспечение компьютеров»
Выполнил: студент гр. Б666
Галкин Д.В.
Руководитель: к.т.н., доцент
Ешеева И.Р.
Нормоконтролер: ст. преп.
Глушкова И.И.
Оценка: __________
Дата защиты: __________
Улан-Удэ
2017
ВОСТОЧНО-СИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ
___________________________________________________________________________
ЭЛЕКТРОТЕХНИЧЕСКИЙ ФАКУЛЬТЕТ
Кафедра систем информатики
З А Д А Н И Е
на курсовую работу
Дисциплина: Математическая логика |
Тема: Математическая логика и программное обеспечение компьютеров |
Исполнитель: Галкин Д.В. |
Руководитель: Ешеева И. Р. |
Краткое содержание проекта: |
Курсовая работа посвящена изучению математической логики и программного |
обеспечения компьютера |
1. Теоретическая часть: |
Словесная постановка задачи |
Основные определения |
Математическая логика в программировании |
2. Практическая часть: |
Решение задач |
Сроки выполнения проекта по графику: |
|
2. Практическая часть - 90 % к 15 неделе. |
3. Кодирование - ____% к __ неделе. |
4. Экспериментальный раздел - ____% к __ неделе. |
5. Защита - 100% к 16 неделе. |
Требования к оформлению: |
1. Расчетно-пояснительная записка курсового проекта должна быть представлена в |
электронной и твердой копиях. |
2. Объем отчета должен быть не менее 20 машинописных страниц без учета приложений. |
Руководитель проекта Ешеева И.Р.
Исполнитель Галкин Д.В.
Дата выдачи 17 сентября 2017 г.
Содержание
Введение…………………………………………………………………………...5
1. Теоретическая раздел………………………………………………………..…6
1.1. Словесная постановка задачи…………………………………………6
1.2. Основные определения……………………………………………......6
1.3. Математическая логика в программировании……………………...11
2. Практический раздел……………………………………………………….…17
2.1. Решение задач………………………………………………...….…...17
Заключение……………………………………………………………………….23
Список использованной литературы………………………………………...…24
Аннотация
Данная курсовая работа посвящена изучению математической логики и программного обеспечения компьютера.
По проделанной работе дан полный курс теоретических пояснений по описанию компьютерных программ, программирования и анализа его концепций с помощью математической логики, а также описана верификация программ.
...