База данных: Электронный Каталог
Беті 1, Нәтижелерін: 5
Отмеченные записи: 0
1.
Подробнее
И 26
Игошин, В. И.
Математическая логика и теория алгоритмов : учеб. пособие для студентов физ.-мат. спец. пед. ин-тов. / В. И. Игошин. - Саратов : Изд-во Саратовского ун-та, 1991. - 256 с. - ISBN 5-292-00259-3 : 3р. 00к. тг.
ББК 22.122
Рубрики: Физика-математика
Кл.слова (ненормированные):
Математическая логика -- Теория алгоритмов
Экземпляры всего: 11
Хр. (10), Ч/з (1)
Свободны: Хр. (10), Ч/з (1)
И 26
Игошин, В. И.
Математическая логика и теория алгоритмов : учеб. пособие для студентов физ.-мат. спец. пед. ин-тов. / В. И. Игошин. - Саратов : Изд-во Саратовского ун-та, 1991. - 256 с. - ISBN 5-292-00259-3 : 3р. 00к. тг.
| УДК |
Рубрики: Физика-математика
Кл.слова (ненормированные):
Математическая логика -- Теория алгоритмов
Экземпляры всего: 11
Хр. (10), Ч/з (1)
Свободны: Хр. (10), Ч/з (1)
2.
Подробнее
У 774
Успенский, В. А
Теория алгоритмов: основные открытия и приложения / В.А Успенский, А.Л Семенов. - М. : Наука, 1987. - 288 с. : б. - 1р.20 к. тг.
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Алгоритм -- Теория алгоритмов
Доп.точки доступа:
Семенов, А.Л
Экземпляры всего: 2
Хр (2)
Свободны: Хр (2)
У 774
Успенский, В. А
Теория алгоритмов: основные открытия и приложения / В.А Успенский, А.Л Семенов. - М. : Наука, 1987. - 288 с. : б. - 1р.20 к. тг.
| УДК |
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Алгоритм -- Теория алгоритмов
Доп.точки доступа:
Семенов, А.Л
Экземпляры всего: 2
Хр (2)
Свободны: Хр (2)
3.
Подробнее
Палютин, Е. А.
Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели
Доп.точки доступа:
Ершов Ю.Л,
Палютин, Е. А.
Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели
Доп.точки доступа:
Ершов Ю.Л,
4.
Подробнее
Куликов, В. В.
Дискретная математика : учебное пособие / В. В. Куликов. - М. : РИОР, 2007. - 174 с. - ISBN 978-5-369-00205-6 : Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементы математичкой логики -- Логическое следование -- Теория множеств -- Теория алгоритмов -- Элементы теории грифов -- КомбинаторикаКонецные автоматы
Куликов, В. В.
Дискретная математика : учебное пособие / В. В. Куликов. - М. : РИОР, 2007. - 174 с. - ISBN 978-5-369-00205-6 : Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементы математичкой логики -- Логическое следование -- Теория множеств -- Теория алгоритмов -- Элементы теории грифов -- КомбинаторикаКонецные автоматы
5.
Подробнее
Успенский, В. А.
Теорема Гёделя о неполноте : популярные лекции по математике. Выпуск 57 / В. А. Успенский. - М. : ФИЗМАТЛИТ, 1982. - 112 с. - (Серия «Популярные лекции по математике»). - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Множество истинных утверждений -- Непротиворечивость -- Теория алгоритмов -- Простейшие критерии неполноты -- Язык арифметики -- Аксиомы теории алгоритмов
Успенский, В. А.
Теорема Гёделя о неполноте : популярные лекции по математике. Выпуск 57 / В. А. Успенский. - М. : ФИЗМАТЛИТ, 1982. - 112 с. - (Серия «Популярные лекции по математике»). - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Множество истинных утверждений -- Непротиворечивость -- Теория алгоритмов -- Простейшие критерии неполноты -- Язык арифметики -- Аксиомы теории алгоритмов
Беті 1, Нәтижелерін: 5