База данных: ЭКЖ Университет онлайн кітапханасы кітаптар
Беті 1, Нәтижелерін: 3
Отмеченные записи: 0
1.
Подробнее
Непейвода, Н. Н.
Прикладная логика [Электронный ресурс] : учебное пособие / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского университета, 2000. - 521 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 479 - 481. - ISBN 5-7615-0490-1 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Доп.точки доступа:
Актуальная, литература
Непейвода, Н. Н.
Прикладная логика [Электронный ресурс] : учебное пособие / Н. Н. Непейвода. - 2-е изд., испр. и доп. - Новосибирск : Издательство Новосибирского университета, 2000. - 521 с. : ил. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 479 - 481. - ISBN 5-7615-0490-1 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие является элементарным введением в язык современной математики и методы современной математической логики. Его можно использовать совместно с обучающими программами высокого уровня. Рекомендуется для студентов и аспирантов специальностей: "Математика", "Прикладная математика", "Структурная прикладная лингвистика", "Философия", "Когнитивная психология".
Доп.точки доступа:
Актуальная, литература
2.
Подробнее
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2002. - 258 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 248-249. - ISBN 5-9221-0026-2 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.3-е издание книги вышло в 1995 г.Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.
Доп.точки доступа:
Максимова, Л. Л.
Физматлит
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов [Электронный ресурс] : учебное пособие / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : Физматлит, 2002. - 258 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - Библиогр.: с. 248-249. - ISBN 5-9221-0026-2 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.3-е издание книги вышло в 1995 г.Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.
Доп.точки доступа:
Максимова, Л. Л.
Физматлит
3.
Подробнее
Балюкевич, Э. Л.
Математическая логика и теория алгоритмов: учебно-практическое пособие [Электронный ресурс] : учебное пособие / Э. Л. Балюкевич, Л. Ф. Ковалева. - Москва : Евразийский открытый институт, 2009. - 189 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-374-00220-1 : Б. ц.
ББК 22.12я73
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Доп.точки доступа:
Ковалева, Л. Ф.
Евразийский, открытый
Балюкевич, Э. Л.
Математическая логика и теория алгоритмов: учебно-практическое пособие [Электронный ресурс] : учебное пособие / Э. Л. Балюкевич, Л. Ф. Ковалева. - Москва : Евразийский открытый институт, 2009. - 189 с. - Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация. - ISBN 978-5-374-00220-1 : Б. ц.
| УДК |
Кл.слова (ненормированные):
Учебник для высшей школы
Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов.
Доп.точки доступа:
Ковалева, Л. Ф.
Евразийский, открытый
Беті 1, Нәтижелерін: 3