A853614-ОХФ Вероятностные методы и кибернетика [Текст] : [Сб. ст.]. - Казань : Изд-во Казан. ун-та, ISSN 0132-2869. Вып. 25. - 1993. - 144 с. : ил. - Библиогр. - 1040.00 р.
Рубрики: математика--теория вероятностей и математическая статистика Кл.слова (ненормированные): вероятностей теория -- детерминированные автоматы -- вероятностные автоматы -- сложности теория -- алгоритмов теория -- программирование -- автоматизированные обучающие системы Экземпляры всего: 1 ОХФ (1) |
A855971-ОХФ, A855972-ОХФ, A858352-ОХФ Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- математическая логика -- алгоритмов теория Доп. точки доступа: Максимова, Лариса Львовна Экземпляры всего: 3 ОХФ (3) |
A857701-ОХФ Москинова, Галина Ивановна Дискретная математика в примерах и упражнениях [Текст] : учеб. пособие : в 3 ч. / Г. И. Москинова. - Кемерово : Изд-во Кемер. ун-та. Ч. 2 : Общая алгебра. Теория алгоритмов. Теория графов. - Кемерово : Изд-во Кемер. ун-та, 1993. - 83 с. : ил. - ISBN 5-230-20807-4 : 3000.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): алгебра -- алгоритмов теория -- графов теория Экземпляры всего: 1 ОХФ (1) |
A870312-ОХФ, A872397-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний Экземпляры всего: 2 ОХФ (2) |
A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Экземпляры всего: 5 ОХФ (5) |
Учебная литература, A591119-ОХФ, A591120-ОХФ, A591121-ОХФ, A591122-ОХФ, A591123-ОХФ, A593255-ОХФ, A595693-ОХФ, A873334-ОХФ, Колмогоров, Андрей Николаевич (1903-1987). Математическая логика: Дополнительные главы [Текст] : учеб. пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 117, [3] с. - Библиогр. - ISBN [Б. и.] : 20.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория Доп. точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 27 ОХФ (8), ОУОЕН (19) |
Учебная литература, A839289-ОХФ, A839290-ОХФ, A839381-ОХФ, A879628-ОХФ, A879629-ОХФ, Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции Экземпляры всего: 24 ОХФ (5), ОУОЕН (19) |
A883857-ОХФ Гуц, Александр Константинович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов, обучающихся по специальности "Компьютерная безопасность" и специальности "Вычислительные машины, комплексы, системы и сети" / А. К. Гуц ; . - Омск : Наследие. Диалог Сибирь, 2003. - 107, [1] с. - ISBN 5-8239-0126-7 : 55.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория Экземпляры всего: 1 ОХФ (1) |
A886404-ОХФ, A888530-ОХФ, A888531-ОХФ Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова. - Москва ; Новосибирск : ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004. - 223, [1] с. - (Высшее образование). - Библиогр. с. 212-214. - ISBN 5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 5-7782-0458-2 (НГТУ) : 85.50 р., 52.80 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- моделей теория Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 3 ОХФ (3) |
Учебная литература, A888582-ОХФ, A888583-ОХФ, A888584-ОХФ, Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2004. - 446, [2] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 (152 назв.). - ISBN 5-7695-1363-2 (в пер.) : 196.20 р., 196.00 р. Есть автограф: Экз. 849133 : Игошин, Владимир Иванович
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Экземпляры всего: 197 ОУОЕН (194), ОХФ (3) |
Учебная литература, A961049-ОХФ, A961050-ОХФ, A961051-ОХФ, Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2005. - 302, [2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-1364-0 (в пер.) : 194.10 р., 220.00 р., 194.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Экземпляры всего: 197 ОХФ (3), ОУОЕН (194) |
A962406-ОХФ, A962407-ОХФ-ЧЗ-4, A962408-ОХФ-ЧЗ-4 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : ФИЗМАТЛИТ, 2004. - 255, [1] с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 125.29 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- математическая логика -- алгоритмов теория Доп. точки доступа: Максимова, Лариса Львовна Экземпляры всего: 3 ОХФ (1), ОХФ-ЧЗ-4 (2) |
A962559-ОХФ, A962560-ОХФ-ЧЗ-4 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р. На обл. авт. не указаны
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- алгоритмов теория -- доказательств теория -- Геделя теорема Доп. точки доступа: Верещагин, Николай Константинович Плиско, Валерий Егорович Экземпляры всего: 2 ОХФ (1), ОХФ-ЧЗ-4 (1) |
A965012-ОХФ Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Доп. точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 1 ОХФ (1) |
A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Доп. точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 3 ОХФ (1), ОХФ-ЧЗ-4 (2) |
A966739-ОХФ Лукомский, Сергей Фёдорович. Некоторые вопросы школьного курса информатики и методики её преподавания (физико-математический профиль) [Текст] : учеб. пособие / С. Ф. Лукомский, Т. Н. Боровская ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2006. - 199, [1] с. - Библиогр.: с. 196 (10 назв.). - ISBN 5-292-03536-X : 65.00 р. Утв. Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак., обучающихся по специальности 032100.00 «Математика с дополнительной специальностью "Информатика"», и студентов фак. педагогики, психологии и нач. образования Пед. ин-та Сарат. гос. ун-та, обучающихся по специальности 030100.00 «Информатика»
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- программирование -- алгоритмов теория -- Паскаль -- C++ -- методика преподавания -- компьютерная графика Аннотация: Рассмотрены вопросы школьного курса информатики, которые вызывают наибольшие трудности: рекурсивные алгоритмы, комбинаторные задачи, двумерная и трехмерная графика, фракталы.Для студентов механико-математического факультета Саратовского государственного университета, а также студентов факультета педагогики, психологии и начального образования Педагогического института Саратовского государственного университета. Держатели документа: ЗНБ СГУ Доп. точки доступа: Боровская, Тамара Николаевна Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A968984-ОХФ, A968985-ОХФ-ЧЗ-4, Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 302, [2] с. : табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-2914-8 (в пер.) : 259.16 р., 247.57 р. Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Экземпляры всего: 12 ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (10) |
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р. Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A971351-ОХФ Игошин, Владимир Иванович. Математическая логика в системе подготовки учителей математики [Текст] / В. И. Игошин ; М-во образования Рос. Федерации, Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Слово, 2002. - 239, [1] с. - Библиогр.: с. 210-236. - ISBN 5-85571-037-8 : 100.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- учителя математики -- математическое образование -- межпредметные связи -- методика преподавания Экземпляры всего: 1 ОХФ (1) |
A973001-ОХФ Андреева, Елена Владимировна. Математические основы информатики [Текст] : метод. пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - Москва : БИНОМ. Лаб. знаний, 2007. - 312 с. : табл. - (Элективный курс. Математика). - ISBN 5-94774-138-5 : 90.00 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- системы счисления -- алгебра логики -- алгоритмов теория -- вычислительная геометрия -- компьютерная алгебра Доп. точки доступа: Босова, Людмила Леонидовна Фалина, Ирина Николаевна Экземпляры всего: 1 ОХФ (1) |