К 60 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : учеб. пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : УРСС, 2004. - 238, [2] с. - (Классический университетский учебник). - ISBN 5-354-00389-X : 149.50 р. Рубрики: Математическая логика--теория множеств Кл.слова (ненормированные): математические языки -- логические законы -- теория алгоритмов -- теория доказательств -- математическая логика -- учебник для вузов Доп.точки доступа: Драгалин, А.Г.; МГУ им. М. В. Ломоносова Экземпляры всего: 4 Ч.з.1 (4) Свободны: Ч.з.1 (4) |
К 89 Кузнецов, О. П. Дискретная математика для инженера [Text] / О.П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. [и др.] : Лань, 2004. - 394, [1] с. - (Учебник для вузов. Специальная литература). - ISBN 5-8114-0570-7 : 169.50 р. Рубрики: Математика Кл.слова (ненормированные): дискретная математика -- множества -- функции -- логика -- графы -- теория алгоритмов -- формальные системы -- языки программирования -- автоматы -- учебник для вузов Экземпляры всего: 5 Аб.2 (5) Свободны: Аб.2 (5) |
М 34 Матросов В.Л. Избранные статьи и доклады [Text] / Матросов В.Л. - М. : Магистр, 1996. - 252 с. - 5.00 р. Рубрики: Высшая школа Кл.слова (ненормированные): университетское образование -- Московский педагогический государственный университет -- МПГУ -- педагогическое образование -- математическая логика -- теория алгоритмов -- научная -- сборник научных трудов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Text] : учеб. пособие для студ. вузов / В.И. Игошин. - М. : Академия, 2004. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 206.60 р. Рубрики: Высшая математика Кл.слова (ненормированные): математическая логика -- алгоритмы -- теория алгоритмов -- алгебра -- булевы функции -- формализованные исчесления -- предикаты -- логика предикатов -- аксиоматический метод -- информатика -- компьютеры -- искусственный интеллект -- учебное пособие для вузов Экземпляры всего: 84 Ч.з.1 (5), Аб.2 (59), Аб.3 (20) Свободны: Ч.з.1 (5), Аб.2 (59), Аб.3 (20) |
Л 43 Лекции по дискретной математике [Текст] / Ю. В. Капитонова [и др.]. - СПб. : БХВ-Петербург, 2004. - 614 с. - ISBN 5-94157-546-7 : 179.00 р. Рубрики: Дискретная математика Кл.слова (ненормированные): дискретная математика -- алгебра -- множества -- комбинаторика -- теория алгоритмов -- математическая логика -- теория графов -- теория автоматов -- информационные технологии -- компьютерные технологии -- аксиоматический метод -- учебник для вузов Доп.точки доступа: Капитонова, Ю.В.; Кривой, С.Л.; Летичевский, А.А.; Луцкий, Г.М. Экземпляры всего: 16 Ч.з.1 (5), Аб.2 (11) Свободны: Ч.з.1 (5), Аб.2 (11) |
Т 33 Теория алгоритмов [Text] : Программа учебной дисциплины для студ. БГПУ по подготовки дипломированного специалиста "Информатика с доп. спец. (математика)". - Благовещенск : Изд-во БГПУ, 2004. - 15 с. - 6.70 р. Рубрики: Высшая математика Кл.слова (ненормированные): алгоритмы -- теория алгоритмов -- учебная программа для вузов Экземпляры всего: 5 ИБО (1), Ч.з.1 (4) Свободны: ИБО (1), Ч.з.1 (4) |
Т 33 Теория алгоритмов [Text] : программа учебной дисциплины для студ. БГПУ по спец. "Физика с доп. спец.(информатика)". - Благовещенск : Изд-во БГПУ, 2004. - 13 с. - 6.70 р. Рубрики: Высшая математика Кл.слова (ненормированные): алгоритмы -- теория алгоритмов -- учебная программа для вузов Экземпляры всего: 5 ИБО (1), Ч.з.1 (4) Свободны: ИБО (1), Ч.з.1 (4) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255, [1] с. - Библиогр.: с. 250-252. - ISBN 5-292-00259-3 : 3.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- алгебра высказываний -- булевы функции -- логика предикатов -- аксиоматические теории -- теория алгоритмов Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |