Essays.club - Получите бесплатные рефераты, курсовые работы и научные статьи
Поиск

Математическая логика и программное обеспечение компьютеров

Автор:   •  Март 28, 2018  •  Курсовая работа  •  3,401 Слов (14 Страниц)  •  1,016 Просмотры

Страница 1 из 14

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ

«ВОСТОЧНО-СИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ»

ЭЛЕКТРОТЕХНИЧЕСКИЙ ФАКУЛЬТЕТ

Кафедра «Системы информатики»

Курсовая работа

(Д.Б666.2.2.01.08.008.17.П3)

по дисциплине «Математическая логика»

Тема: «Математическая логика и программное обеспечение компьютеров»

                Выполнил:             студент гр. Б666          

                                                        Галкин Д.В.

                Руководитель:       к.т.н., доцент

                                    Ешеева И.Р.        

           Нормоконтролер:  ст. преп.

                                          Глушкова И.И.

                Оценка:                  __________

                Дата защиты:        __________

Улан-Удэ

2017

ВОСТОЧНО-СИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ

___________________________________________________________________________

ЭЛЕКТРОТЕХНИЧЕСКИЙ ФАКУЛЬТЕТ

Кафедра систем информатики

З А Д А Н И Е

на курсовую работу

Дисциплина: Математическая логика

Тема:  Математическая логика и программное обеспечение компьютеров

Исполнитель: Галкин Д.В.

Руководитель: Ешеева И. Р.

Краткое содержание проекта:

Курсовая работа посвящена изучению математической логики и программного

обеспечения компьютера

1. Теоретическая часть:

Словесная постановка задачи

         Основные определения

         Математическая логика в программировании

2. Практическая часть:

Решение задач

Сроки выполнения проекта по графику:

  1. Теоретическая часть      - 50 %  к 12 неделе.

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

Аннотация

Данная курсовая работа посвящена изучению математической логики и программного обеспечения компьютера.

По проделанной работе дан полный курс теоретических пояснений по описанию компьютерных программ, программирования и анализа его концепций с помощью математической логики, а также описана верификация программ.

...

Скачать:   txt (47 Kb)   pdf (693 Kb)   docx (666.7 Kb)  
Продолжить читать еще 13 страниц(ы) »
Доступно только на Essays.club