Лавров И.А., Максимова Л.Л.
Задачи по теории множеств, математической логике и теории алгоритмов
|
УДК: 510.6(076)+510.22(076)+004.421(076)
Авторський знак: Л13
Автори: Лавров И.А., Максимова Л.Л.
Рік видання: 2004
Видавництво:
ФИЗМАТЛИТ / М.
Мова:
Російська
Обсяг: 256с.
Вид документа:
Книга
Науковий напрямок:
ТЕХНІЧНІ НАУКИ
Дисципліни:
Математична логіка
| Анотація: |
В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей:"Теория множеств","Математическая логика"и"Теория алгоритмов".Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических ВУЗах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков. |
| Ключові слова: |
математична логіка, математическая логика, множин теорія, множеств теория, теория множеств, алгоритмів теорія, алгоритмов теория |
|
|
Файл документа доступний читачам бібліотеки: увійдіть або зареєструйтесь.
|