Standard

Математическая логика для программистской специальности на мат-мехе в СПбГУ. / Косовский, Н.К.

In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, No. 3, 2015, p. 45 – 49.

Research output: Contribution to journal › Literature review

Harvard

Косовский, НК 2015, 'Математическая логика для программистской специальности на мат-мехе в СПбГУ', КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, no. 3, pp. 45 – 49.

APA

Косовский, Н. К. (2015). Математическая логика для программистской специальности на мат-мехе в СПбГУ. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, (3), 45 – 49.

Vancouver

Косовский НК. Математическая логика для программистской специальности на мат-мехе в СПбГУ. КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2015;(3):45 – 49.

Author

Косовский, Н.К. / Математическая логика для программистской специальности на мат-мехе в СПбГУ. In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2015 ; No. 3. pp. 45 – 49.

BibTeX

@article{43295c5ed74441ebb9faaf60aa7f4090,
title = "Математическая логика для программистской специальности на мат-мехе в СПбГУ",
abstract = "Математическая логика в широком смысле этого слова включает в себя теорию логических исчислений, фомализованные теории, теорию алгоритмов и теорию сложности алгоритмов. Все эти разделы были созданы в прошлом веке. Для специальностей, готовящих будущих программистов и разработчиков разнообразных математических алгоритмов (а не только кодировщиков известных алгоритмов), на математико-механическом факультете Санкт-Петербургского государственного университета в течение 15 лет читался курс математической логики.",
author = "Н.К. Косовский",
year = "2015",
language = "русский",
pages = "45 – 49",
journal = "КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ",
issn = "2071-2340",
publisher = "Издательство СПбГЭТУ {"}ЛЭТИ{"}",
number = "3",

}

RIS

TY - JOUR

T1 - Математическая логика для программистской специальности на мат-мехе в СПбГУ

AU - Косовский, Н.К.

PY - 2015

Y1 - 2015

N2 - Математическая логика в широком смысле этого слова включает в себя теорию логических исчислений, фомализованные теории, теорию алгоритмов и теорию сложности алгоритмов. Все эти разделы были созданы в прошлом веке. Для специальностей, готовящих будущих программистов и разработчиков разнообразных математических алгоритмов (а не только кодировщиков известных алгоритмов), на математико-механическом факультете Санкт-Петербургского государственного университета в течение 15 лет читался курс математической логики.

AB - Математическая логика в широком смысле этого слова включает в себя теорию логических исчислений, фомализованные теории, теорию алгоритмов и теорию сложности алгоритмов. Все эти разделы были созданы в прошлом веке. Для специальностей, готовящих будущих программистов и разработчиков разнообразных математических алгоритмов (а не только кодировщиков известных алгоритмов), на математико-механическом факультете Санкт-Петербургского государственного университета в течение 15 лет читался курс математической логики.

M3 - Обзор литературы

SP - 45

EP - 49

JO - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

JF - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

SN - 2071-2340

IS - 3

ER -

ID: 5820980