RUSSIAN

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

By Архангельский В.В.

Book information

Language
russian
Format
DOC
Filesize
353 kB (360960 bytes)
Pages
\0
Topic
Mathematics Logic
Library
twirpx
Time added
2017-08-07 07:01:42
Математика;Математическая логика

Description

Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с.Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса:- заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и вопросах обоснования математики; - научить применению логики предикатов для записи математических предложений и их преобразования; - получить знания об основах логики высказываний, логики предикатов, нечеткой логики и теории алгоритмов;- употреблять специальную математическую символику для выражения количественных и качественных отношений между объектами;- знать основные методы и алгоритмы математической логики, связанные с моделированием и оптимизацией систем различной природы.

Similar books