51(07) И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 447 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Б 17 Базара, М. Нелинейное программирование. Теория и алгоритмы [Текст] / М. Базара, К. Шетти ; Пер. с англ., под ред. Д. Б. Юдина. - М. : Мир, 1982. - 583 с : ил. - Алф.-Предм. указ.: с.577-580 . - 2.80 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Шетти, К.; Юдин, Д. Б. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
51 Б-43 Белоногов, Г. Г. Языковые средства автоматизированных информационных систем [Текст] / Г. Г. Белоногов. - М. : Наука, 1983. - 288 с. - Библиогр. в конце . - 1.20 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Б-48 Беркли, Э. Символическая логика и разумные машины [Текст] / Пер. с англ. И. В. Соловьева ; Под ред. и с предисл. Г. Н. Поварова. - М. : ИНЛИТ, 1961. - 260 с : ил. - Библиогр.: с.241-252 . - 1.03 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Поварова, Г. Н. \ред., авт. предисл.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Б-64 Биркгоф, Г. Современная прикладная алгебра [Текст] / Г. Барти ; Пер. с англ. Ю.И. Манина. - М. : Мир, 1976. - 400 с. - Предм. указ.: с.391-396 . - 1.68 р., 1.86 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Барти, Т. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
51 Б-68 Блехман, И. И. Прикладная математика: предмет, логика, особенности подходов [Текст] / А. Д. Мышкис, Я. Г. Пановко ; Физико-технический институт низких температур АН УССР. - Киев : НАУКОВА ДУМКА, 1976. - 270 с. - Библиогр.: с.257-267 . - 1.48 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Мышкис, А. Д.; Пановко, Я. Г. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
51 Б-90 Булавский, В. А. Несколько лекций по линейному программированию [Текст] / Г. Ш. Рубинштейн ; Отв. ред. Л. В. Канторович. - Новосибирск : Сиб. отделение АН СССР, 1965. - 68 с : ил. - 0.28 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Рубинштейн, Г. Ш.; Канторович, Л. В. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 В-19 Василенко, В. А. Сплайн-функции: теория, алгоритмы, программы [Текст] / Под ред. Г. И. Марчука ; Вычисл. центр. Сиб. отд. АН СССР. - Новосибирск : Наука, 1983. - 214 с. - Библиогр.: с.208-211 . - 1.40 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Марчук , Г. И. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
51 В-26 Векуа, И. Н. Обобщенные аналитические функции [Текст] / И. Н. Векуа. - М. : ФИЗМАТЛИТ , 1959. - 628 с. - 18.25 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 В-33 Верлан, А. Ф. Методы решения интегральных уравнений с пограммами для ЭВМ [Текст] : справочное пособие / В. С. Сизиков. - Киев : Наук. думка, 1978. - 292 с. - Библиогр.: с.278-288 . - 1.80 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: В.С. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 В-74 Вопросы теории математических машин [Текст] : сб. статей / Пер. с англ. ; Под ред. И. Я. Акушского и Э. А. Глузберга. - М. : МАШИНОСТРОЕНИЕ, 1964. - 1.15 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Акушский И. Я. \ред.\; Глузберг, Э. А. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
519.95 Г-12 Гаврилов, Г. П. Сборник задач по дискретной математике [Текст] : учеб. пособие для вузов / Г. П. Гаврилов. - М. : Наука, с 1977. - 368 с. - Библиогр. в конце . - 0.84 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Г 75 Градштейн, И. С. Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И. С. Градштейн. - 5-е изд. - М. : Наука, 1972. - 128 с : ил. - 0.24 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Г 93 Гудстейн, Р. Л. Математическая логика [Текст] / Пер. с англ. ; Под ред. и с предисл. С. А. Яновской. - М. : ИНЛИТ, 1961. - 162 с. - (Библиотека сборника "Математика"). - Библиогр. в конце . - Б. ц.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Яновская, С. А. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51(07) С 89 Судоплатов, С. В. Математическая логика и теория алгоритмов [Текст] : учебник / С. В. Судоплатов, Е. В. Овчинникова. - 2-е изд., перераб. - Новосибирск : НГТУ, 2010. - 255 с : ил. - (Учебники НГТУ). - Библиогр.: с.224-226 . - Указ. терминов, обозначений: с.241-255. - ISBN 978-5-7782-1348-7
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Овчинникова, Е.В. Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 Е 80 Ершов, Ю. Л. Теория нумераций [Текст] / Ю. Л. Ершов. - М. : Наука, 1977. - 416 с : ил. - (Математическая логика и основания математики). - Библиогр. в конце. - 1.80 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
51 И 25 Ивс, Г. О математической логике и философии математики (начальные сведения об основаниях математики) [Текст] / К. В. Ньюсом ; Пер. с англ. Ф. Л. Варпаховского. - М. : Знание, 1968. - 48 с. - (Математика и кибернетика). - 0.09 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Ньюсом, К. В.; Варпаховский, Ф. Л. \пер.\ Экземпляры всего: 1 СФ (1) Свободны: СФ (1) |
51 И 88 Исследования по теории алгоритмов и математической логике [Текст] : сб. работ / Под ред. А.А. Маркова и Б.А. Кушнера ; ред.: А. А. Марков, Б. А. Кушнер. - М. : ВЦ АН СССР, 1976. - 159 с. - Библиогр.: с.152-153 . - 0.59 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Марков, А. А. \ред.\; Кушнер, Б. А. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
51 К 17 Калбертсон, Дж.Т. Математика и логика цифровых устройств [Текст] / Пер. с англ. ; Под ред. И. М. Яглома. - М. : Просвещение, 1965. - 268 с : ил. - Предм. указ.: с.260-264 . - 0.60 р.
Держатели документа: НТБ ГУ "Гидрометцентр России" Доп.точки доступа: Яглом, И. М. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |