База данных: Книги
Страница 1, Результатов: 9
Отмеченные записи: 0
1.
2.
Подробнее
В12
И 269
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стереотип. - Москва : Асаdemia, 2007. - 304 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - 2000 экз. - ISBN 5-7695-3728-0 (в пер.)
ББК В127я73
Рубрики: Математическая логика--Алгоритмы--Задачи--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгоритмы
Экземпляры всего: 3
КХ (2), ОЧЗ (1)
Свободны: КХ (2), ОЧЗ (1)
И 269
Игошин, В. И.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стереотип. - Москва : Асаdemia, 2007. - 304 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - 2000 экз. - ISBN 5-7695-3728-0 (в пер.)
| ГРНТИ |
Рубрики: Математическая логика--Алгоритмы--Задачи--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгоритмы
Экземпляры всего: 3
КХ (2), ОЧЗ (1)
Свободны: КХ (2), ОЧЗ (1)
3.
Подробнее
В12
Г 866
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. ; 22 см. - Библиогр.: с. 205-206. - 3000 экз. - ISBN 978-5-406-00120-2 (в пер.) : 155.22 р.
ББК В127я73-1
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Г 866
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов : учебное пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2010. - 206 с. : ил. ; 22 см. - Библиогр.: с. 205-206. - 3000 экз. - ISBN 978-5-406-00120-2 (в пер.) : 155.22 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика
Аннотация: Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения.
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
4.
Подробнее
В12
К 845
Крупский, Владимир Николаевич.
Теория алгоритмов : учебное пособие / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2009. - 207 с. : ил. ; 22 см. - (Университетский учебник) (Серия "Прикладная математика и информатика"). - Библиогр.: с. 203. - Предм. указ.: с. 204. - 2500 экз. - ISBN 978-5-7695-5293-9 (в пер.) : 368.17 р.
ББК В127я73-1
Рубрики: Алгоритмы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгоритмы
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Плиско, Валерий Егорович
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
К 845
Крупский, Владимир Николаевич.
Теория алгоритмов : учебное пособие / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2009. - 207 с. : ил. ; 22 см. - (Университетский учебник) (Серия "Прикладная математика и информатика"). - Библиогр.: с. 203. - Предм. указ.: с. 204. - 2500 экз. - ISBN 978-5-7695-5293-9 (в пер.) : 368.17 р.
| ГРНТИ |
Рубрики: Алгоритмы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Алгоритмы
Держатели документа:
ГПНТБ России
Доп.точки доступа:
Плиско, Валерий Егорович
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
5.
Подробнее
В12
Г 977
Гуц, Александр Константинович.
Математическая логика и теория алгоритмов : [учебное пособие] / А. К. Гуц. - 2-е изд., доп. - Москва : Либроком, 2009. - 117 с. : ил. ; 22 см. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : 124.08 р.
ББК В127я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгориты
Держатели документа:
ГПНТБ России
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
Г 977
Гуц, Александр Константинович.
Математическая логика и теория алгоритмов : [учебное пособие] / А. К. Гуц. - 2-е изд., доп. - Москва : Либроком, 2009. - 117 с. : ил. ; 22 см. - Библиогр.: с. 114-117 (59 назв.). - ISBN 978-5-397-00056-7 : 124.08 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Математическая логика -- алгориты
Держатели документа:
ГПНТБ России
Экземпляры всего: 2
КХ (2)
Свободны: КХ (2)
6.
Подробнее
В12
И 268
Игошин, Владимир Иванович (1948-).
Математическая логика и теория алгоритмов : учеб. пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2010. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - Библиогр.: с. 435-442 и в подстроч. примеч. - 1000 экз. - ISBN 978-5-7695-7045-2 (в пер.) : 405.98 р.
ББК В127я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Держатели документа:
ГПНТБ России
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 268
Игошин, Владимир Иванович (1948-).
Математическая логика и теория алгоритмов : учеб. пособие для студентов высших учебных заведений, обучающихся по специальности 050201 "Математика" / В. И. Игошин. - 4-е изд., стер. - Москва : Академия, 2010. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности) (Учебное пособие). - Библиогр.: с. 435-442 и в подстроч. примеч. - 1000 экз. - ISBN 978-5-7695-7045-2 (в пер.) : 405.98 р.
| ГРНТИ |
Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Алгоритмов теория--Учебные издания для высших учебных заведений
Держатели документа:
ГПНТБ России
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
7.
Подробнее
В12
М 30
Марченков, Сергей Серафимович.
Классы элементарных рекурсивных функций / С. С. Марченков. - Москва : Физматлит, 2017. - 135, [1] с. ; 21 см. - Библиография: с. 133-135. - Предметный указатель в конце книги. - 300 экз. - ISBN 978-5-9221-1714-2 : 175.56 р.
ББК В127
Рубрики: Рекурсивные функции
Кл.слова (ненормированные):
рекурсивные функции -- арифметические предикаты -- рудиментарное моделирование вычислений -- стековые регистровые машины
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
М 30
Марченков, Сергей Серафимович.
Классы элементарных рекурсивных функций / С. С. Марченков. - Москва : Физматлит, 2017. - 135, [1] с. ; 21 см. - Библиография: с. 133-135. - Предметный указатель в конце книги. - 300 экз. - ISBN 978-5-9221-1714-2 : 175.56 р.
| ГРНТИ |
Рубрики: Рекурсивные функции
Кл.слова (ненормированные):
рекурсивные функции -- арифметические предикаты -- рудиментарное моделирование вычислений -- стековые регистровые машины
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
8.
Подробнее
В12
И 269
Игошин, Владимир Иванович.
Теория алгоритмов : учебное пособие для использования в учебном процессе образовательных учреждений, реализующих программы среднего профессионального образования по специальности "Программирование в компьютерных системах", учебная дисциплина "Теория алгоритмов" / В. И. Игошин. - 3-е издание, стереотипное. - Москва : Академия, 2019. - 315, [1] с. ; 22 см. - (Профессиональное образование. Математика и естественно-научные дисциплины) (Учебное пособие). - Библиография: с. 309-314. - 1000 экз. - ISBN 978-5-4468-7523-8 (в пер.) : 1188.77 р.
ББК В127я72
Рубрики: Алгоритмов теория--Учебные издания для среднего профессионального образования
Кл.слова (ненормированные):
алгоритмов теория -- неформальное понятие алгоритма -- алгоритмы на графах -- машины Тьюринга -- проблемы математической логики
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
И 269
Игошин, Владимир Иванович.
Теория алгоритмов : учебное пособие для использования в учебном процессе образовательных учреждений, реализующих программы среднего профессионального образования по специальности "Программирование в компьютерных системах", учебная дисциплина "Теория алгоритмов" / В. И. Игошин. - 3-е издание, стереотипное. - Москва : Академия, 2019. - 315, [1] с. ; 22 см. - (Профессиональное образование. Математика и естественно-научные дисциплины) (Учебное пособие). - Библиография: с. 309-314. - 1000 экз. - ISBN 978-5-4468-7523-8 (в пер.) : 1188.77 р.
| ГРНТИ |
Рубрики: Алгоритмов теория--Учебные издания для среднего профессионального образования
Кл.слова (ненормированные):
алгоритмов теория -- неформальное понятие алгоритма -- алгоритмы на графах -- машины Тьюринга -- проблемы математической логики
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
9.
Подробнее
В12
М 34
Математическая логика и теория алгоритмов / Российская академия наук, Сибирское отделение ; ответственный редактор: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Издательство Института математики СО РАН, 1993. - 201 с. ; 26 см. - (Труды института математики СО РАН ; т. 25). - Библиография в конце статей. - 500 экз. - ISBN 5-86134-004-8 : 1050.00 р.
ББК В127
Кл.слова (ненормированные):
математическая логика -- логика математическая -- теория алгоритмов -- теория моделей
Доп.точки доступа:
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Российская академия наук. Сибирское отделение
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
М 34
Математическая логика и теория алгоритмов / Российская академия наук, Сибирское отделение ; ответственный редактор: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Издательство Института математики СО РАН, 1993. - 201 с. ; 26 см. - (Труды института математики СО РАН ; т. 25). - Библиография в конце статей. - 500 экз. - ISBN 5-86134-004-8 : 1050.00 р.
Кл.слова (ненормированные):
математическая логика -- логика математическая -- теория алгоритмов -- теория моделей
Доп.точки доступа:
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Российская академия наук. Сибирское отделение
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Страница 1, Результатов: 9