Главная Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


КНИГИ - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Теория алгоритмов<.>)
Общее количество найденных документов : 13
Показаны документы с 1 по 13
1.
   51
   И26


    Игошин, В. И.
    Математическая логика и теория алгоритмов : учебное пособие для пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Саратов. ун-та, 1991. - 256 с. - 11-00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Логика -- Математическая логика -- Теория алгоритмов

Свободных экз. нет
Найти похожие
2.
   51
   Л13


    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / Лавров, И. А., Максимова, Л. Л. 0. - 2-е изд. - М. : Наука, 1984. - 223 с. - Б. ц.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
08 -- математика -- математическая логика -- теория алгоритмов -- множества -- задачи


Доп.точки доступа:
Максимова, Л. Л. 0
Экземпляры всего: 7
ЧЗ (7)
Свободны: ЧЗ (7)
Найти похожие
3.
   51
   Л13


    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - Изд. 5-е, испр. - М. : ФИЗМАТЛИТ, 2004. - 255 с. - ISBN 5922100262 : 920.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математика -- теория множеств -- математическая логика -- теория алгоритмов


Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (17)
Найти похожие
4.
   51
   У77


    Успенский, В. А.
    Вводный курс математической логики / Успенский, В. А., Верещагин, Н. К., Плиско, В. Е. - М. : ФИЗМАТЛИТ, 2004. - 125 с. - ISBN 5922102788 : 675.00 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
м06 -- математика -- математическая логика -- логико-математические языки -- теория множеств -- теорема Геделя -- полнота -- теория алгоритмов


Доп.точки доступа:
Верещагин, Н. К.; Плиско, В. Е.
Экземпляры всего: 20
ЧЗ (2), АБ (18)
Свободны: ЧЗ (2), АБ (18)
Найти похожие
5.
   б 74.263
   А65


    Андреева, Е. В.
    Математические основы информатики : метод. пособие / Андреева, Е. В., Босова, Л. Л., Фалина, И. Н. - М. : БИНОМ. Лаборатория знаний, 2007. - 312 с. - (Математика. Элективный курс). - ISBN 5947741385 : 850.00 р.
ББК 74.263.2
Рубрики: Педагогика--методика преподавания
Кл.слова (ненормированные):
я09 -- педагогика -- методика преподавания -- информатика -- математические основы -- системы счисления -- планирование темы -- алгебра логики -- теория алгоритмов -- информация -- вычислительная геометрия -- компьютерная графика -- уравнения -- многоугольники -- разбор заданий -- проведение уроков


Доп.точки доступа:
Босова, Л. Л.; Фалина, И. Н.
Экземпляры всего: 5
ЧЗ (2), АБ (3)
Свободны: ЧЗ (2), АБ (3)
Найти похожие
6.
   519
   П39


    Плотников, А. Д.
    Дискретная математика : учебное пособие / А. Д. Плотников. - 3-е изд., испр. и доп. - Минск : Новое знание, 2008. - 320 с. - ISBN 9789854753713 : 1045.00 р.
УДК
Рубрики: Математика--Дискретная математика
Кл.слова (ненормированные):
математика -- дискретная математика -- теория множеств -- теория графов -- алгебра -- математическая логика -- функции -- комбинаторика -- теория алгоритмов -- экстремальные комбинаторные задачи -- ЭКЗ


Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
7.
   51
   З-98


    Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учеб. пособие для студ. вузов, обучающихся по спец. "Комплексное обеспечение информационной безопасности автоматизированных систем" / Зюзьков, В. М., Шелупанов, А. А. - М. : Горячая линия-Телеком, 2007. - 176 с. - (Учебное пособие. Специальность для высших учебных заведений). - ISBN 59335173492 : 3660.80 р.
УДК
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- булевы алгебры -- логика предикатов -- исчисления -- логические парадоксы -- многозначные логики -- задачи -- упражнения


Доп.точки доступа:
Шелупанов, А. А.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
8.
   51
   Г85


    Гринченков, Д. В.
    Математическая логика и теория алгоритмов для программистов : [учебное пособие для вузов по направлению "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - М. : Кнорус, 2013. - 206 с. - ISBN 978-5-406-02434-8 : 1585.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- теория множеств -- булевая алгебра -- теория алгоритмов -- нечеткие множества -- язык Пролог -- логическое программирование -- логические функции


Доп.точки доступа:
Потоцкий, С. И.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
9.
   51
   И26


    Игошин, В. И.
    Математическая логика и теория алгоритмов : учебное пособие для вузов по спец. "Математика" / В. И. Игошин. - 3-е изд., стер. !ospec.pft: FILE NOT FOUND! . - М. : Академия, 2008. - 447 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-5200-7 : 4705.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
матемитика -- логика -- теория алгоритмов -- высказывания -- формуы -- булевы функции -- аксиомы -- логика предикатов -- множества -- системы искусственного интеллекта

Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
10.
   519
   Т98


    Тюрин, С. Ф.
    Дискретная математика: практическая дискретная математика и математическая логика : учебное пособие для вузов / С. Ф. Тюрин, Ю. А. Аляев. - М. : Финансы и статистика : ИНФРА-М, 2010. - 382 с. - ISBN 978-5-279-03463-5 : 2395.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
дискретная математика -- функции -- синтез комбинационных автоматов -- кодирование -- математическая логика -- теория алгоритмов -- компьютерная математика


Доп.точки доступа:
Аляев, Ю. А.
Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
11.
   519
   К90


    Куликов, В. В.
    Дискретная математика : учебное пособие / В. В. Куликов. - М. : РИОР, 2010. - 173 с. - (Высшее образование). - ISBN 978-5-369-00205-6 : 770.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математическая логика -- логическое следование -- теория множеств -- теория алгоритмов -- элементы теории графов -- комбинаторика -- оптимизация на графах -- конечные автоматы

Экземпляры всего: 10
ЧЗ (2), АБ (8)
Свободны: ЧЗ (2), АБ (8)
Найти похожие
12.
   51
   Г56


    Глухов, М. М.
    Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие / М. М. Глухов, А. Б. Шишков. - М. ; СПб. ; Краснодар : Лань, 2012. - 405 с. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-1344-7 : 6350.00 р.
УДК
Рубрики: Математика--Высшая математика
Кл.слова (ненормированные):
математическая логика -- алгебра предикатов -- дискретные функции -- теория алгоритмов -- вычисления


Доп.точки доступа:
Шишков, А. Б.
Экземпляры всего: 2
ЧЗ (1), АБ (1)
Свободны: ЧЗ (1), АБ (1)
Найти похожие
13.
   51
   Л13


    Лавров, И. А.
    Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : Физматлит, 2006. - 255 с. - ISBN 5-9221-0026-2 : 2420.00 р.
УДК
Рубрики: Математика--Высшая математика
Кл.слова (ненормированные):
теория множеств -- функции -- кардинальные числа -- математическая логика -- исчисления предикатов -- перечислимые множества -- теория алгоритмов


Доп.точки доступа:
Максимова, Л. Л.
Экземпляры всего: 5
ЧЗ (2), АБ (3)
Свободны: ЧЗ (2), АБ (3)
Найти похожие
 
© Павлодарский государственный университет им. С.Торайгырова, 2009-2015