22.1 / 51 Л 63 Лисовик, Л. П. Трансдьюсеры. І [Текст] / Л. П. Лисовик. - Киев : Феникс, 2006. - 367, [1] с. - Библиогр.: с. 326-364. - ISBN 966-651-340-4 : 015.00 р. Рубрики: Алгебра Алгоритмів теорія Математична кібернетика Математична логіка Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВДЕТПСГН (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Трансдьюсеры. II [Текст] : науч. изд. / Л. П. Лисовик. - Киев : Феникс, 2007. - 251, [1] с. - Библиогр.: с. 244-250. - ISBN 978-966-651-482-3 : 015.00 р. Рубрики: Геометрія Математична кібернетика Математична логіка Трансдьюсери--Теорія Функціональний аналіз Кл.слова (ненормовані): ARM Примірників всього: 1 ВДЕТПСГН (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 1. Главы 1-4. Кн. 1. Типы языков и машин / Л. П. Лисовик. - Киев : Феникс, 2005. - 270, [1] с. - (Математическое мышление). - Библиогр.: с. 264-269. - ISBN 966-651-256-4. - ISBN 966-651-251-3. - ISBN 966-651-270-Х : 020.00 р. Рубрики: Алгебра Алгоритми Математична кібернетика Математична логіка Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 1. Главы 13-17. Кн. 3. Алгебра и автоматы. II / Л. П. Лисовик. - Киев : Феникс, 2005. - 261, [1] с. - (Математическое мышление). - Библиогр.: с. 256-260. - ISBN 966-651-256-4. - ISBN 966-651-251-3. - ISBN 966-651-250-5 : 020.00 р. Рубрики: Алгебра Математична кібернетика Математична логіка Математичне програмування Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 2, кн. 4. Размеченные деревья / Л. П. Лисовик. - Киев : Феникс, 2006. - 350, [1] с. - (Математическое мышление). - Библиогр.: с. 341-348. - ISBN 966-651-256-4. - ISBN 966-651-393-5. - ISBN 966-651-394-3 : 015.00 р. Рубрики: Алгебра Алгоритми Математична кібернетика Математична логіка Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 3, кн. 5. Типы функций. Интерполяция. Фрактальность / Л. П. Лисовик. - Киев : Феникс, 2006. - 318, [1] с. - (Математическое мышление). - Библиогр.: с. 307-317. - ISBN 966-651-256-4. - ISBN 966-651-375-7. - ISBN 966-651-376-5 : 015.00 р. Рубрики: Алгебра Алгоритми Математична кібернетика Математична логіка Трансдьюсери--Теорія функції (мат.) Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 3, кн. 6. Функции и аппликативные системы / Л. П. Лисовик. - Киев : Феникс, 2007. - 284 с. - (Математическое мышление). - Библиогр.: с. 273-282. - ISBN 966-651-256-4. - ISBN 966-651-375-7. - ISBN 978-966-651-466-3 : 035.16 р. Рубрики: Алгебра Груп теорія (мат.) Математична кібернетика Математична логіка Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.1 / 51 Л 63 Лисовик, Л. П. Теория трансдьюсеров [Текст]. Т. 1. Главы 5-12. Кн. 2. Алгебра и автоматы. 1 / Л. П. Лисовик. - Киев : Феникс, 2005. - 265, [2] с. - (Математическое мышление). - Библиогр.: с. 260-263, 267. - ISBN 966-651-225-4 : 020.00 р. Рубрики: Алгебра Груп теорія (мат.) Математична кібернетика Математична логіка Трансдьюсери--Теорія Кл.слова (ненормовані): ARM Примірників всього: 1 ВЗ (1) |
22.12 / 51 П 59 Порецький Платон Сергійович (3.10.1846-9.08.1907) [Текст] / Щорс. центр. район. б-ка ім. 40-річчя Перемоги. - Щорс : [б. в.], 2007. - 1 розг. арк. : іл. - Бібліогр. в кінці арк. - 001.00 р. Рубрики: Астрономія Математики українські Математична логіка Кл.слова (ненормовані): ARM Дод.точки доступу: Порецький, Платон Сергійович (1846-1907) \про нього\; Щорська центральна районна бібліотека ім. 40-річчя Перемоги Примірників всього: 4 ВКр (1), ВЗ (2), ВА (1) |
32.81 / 6П2.154 Л 88 Лыскова, В. Ю. Логика в информатике [Текст] : метод. пособие / В. Ю. Лыскова, Е. А. Ракитина. - 2-е изд. - Москва : Лаборатория Базовых Знаний, 2006. - 155, [3] с. : ил. - (Информатика). - Библиогр.: с. 158. - ISBN 5-93208-187-2 : 019.30 р. Рубрики: Інформатика Комп'ютери Математична логіка Процесори електронних таблиць Кл.слова (ненормовані): ARM Дод.точки доступу: Ракитина, Е.А. Примірників всього: 1 ВЗ (1) |
22.12 / 51 Б 36 Бевз, О. М. Шифрування данних на основі високонелінійних булевих функцій та кодів з максимальною відстанню [Текст] : монографія / О. М. Бевз, Р. Н. Квєтний ; Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2010. - 95 с. : табл. - Бібліогр.: с. 91-95. - ISBN 978-966-641-340-9 (в обкл.) : 003.00 грн Рубрики: Булеві функції Математична логіка ВНО Дод.точки доступу: Квєтний, Р. Н.; Вінницький національний технічний університет Примірників всього: 1 ВДЕТПСГН (1) |
22.12 / 51 И 26 Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 4-е изд., стер., . - Москва : Академия, 2010. - 446, [1] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 . - ISBN 978-5-7695-7045-2 (в пер.) : 133.00 грн Рубрики: Математична логіка--Навчальні видання для вищої школи Алгоритмів теорія--Навчальні видання для вищої школи Булеві функції--Навчальні видання для вищої школи Аксіоматичний метод--Навчальні видання для вищої школи ВНО Примірників всього: 1 ВДЕТПСГН (1) |
22.12 / 51 Г 91 Грэй, П. Логика, алгебра и базы данных [Текст] / П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского , А. О. Слисенко. - Москва : Машиностроение, 1989. - 359, [1] с. : ил. - Библиогр.: с. 348-358. - ISBN 5-217-00178-Х (в пер.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Килов, Х. И. \пер.\; Минц, Г. Е. \пер.\; Орловский, Г. В. \ред.\; Слисенко, А. О. \ред.\ Примірників всього: 2 ВЗ (1), ВДЕТПСГН (1) |
22.12 / 51 К 98 Кэрролл, Л. Логическая игра [Текст] / Л. Кэрролл ; пер. с англ. Ю. А. Данилова. - Москва : Наука, 1991. - 189, [3] с. : ил. - (Библиотечка "Квант"). - Библиогр.: с. 188-190. - ISBN 5-02-014220-4 : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Данилов, Ю. А. \пер.\ Примірників всього: 4 ВЗ (1), ВДЕТПСГН (1), ВА (2) |
22.12 / 51 Л 69 Логический подход к искусственному интеллекту. От классической логики к логическому программированию [Текст] : [монография] / [А. Тейз и др.] ; пер. c фр. П. П. Пермякова под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429, [2] с. : ил. - Библиогр.: с. 411-417. - ISBN 5-03-001636-8 (в пер.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Тейз, А.; Грибомон, П.; Луи, Ж.; Снийерс, Д.; Пермяков, П. П. \пер.\; Гаврилов, Г. П. \ред., пер.\ Примірників всього: 3 ВЗ (1), ВА (1), ВДЕТПСГН (1) |
22.12 / 51 М 31 Маслов, Сергей Юрьевич. Теория дедуктивных систем и ее применения [Текст] / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 135, [1] с. : ил. - Библиогр.: с. 129-131. - (в обл.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Примірників всього: 2 ВДЕТПСГН (1), ВЗ (1) |
22.12 / 51 Н 64 Никольская, Инна Львовна. Учимся рассуждать и доказывать [Текст] : кн. для учащихся 6-10 кл. сред. шк. / И. Л. Никольская, Е. Е. Семенов. - Москва : Просвещение, 1989. - 190, [2] с. : ил. - ISBN 5-09-000591-5 (в пер.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Семенов, Ефим Евстафьевич Примірників всього: 2 ВЗ (1), ВДЕТПСГН (1) |
22.12 / 51 М 50 Мендельсон, Эллиот. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Изд. 3-е. - Москва : Наука, 1984. - 319, [1] с. - Библиогр.: с. 297-309. - (в пер.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ВА (1), ВДЕТПСГН (1) |
22.12 / 51 Т 33 Теория моделей и ее применения [Текст] : сб. науч. тр. / Сиб. отд-ние АН СССР ; отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 181, [2] с. - (Труды Института математики). - Библиогр.: с. 182. - ISBN 5-02-028576-5 (в обл.) : Б. ц. Рубрики: Математична логіка Кл.слова (ненормовані): ВДЕТН Дод.точки доступу: Ершов, Ю. Л. \отв. ред.\; Академия наук СССР. Сибирское отделение Примірників всього: 2 ВЗ (1), ВДЕТПСГН (1) |
22.12 / 51 Ш 23 Шапиро, Самуил Иосифович. Решение логических и игровых задач [Текст] : (логико-психолог. этюды) / С. И. Шапиро. - Москва : Радио и связь, 1984. - 152, [1] с. : ил. - (Кибернетика). - Библиогр.: с. 151. - (в обл.) : Б. ц. Рубрики: Математична логіка Кібернетика Кл.слова (ненормовані): ВДЕТН Примірників всього: 3 ВДЕТПСГН (1), ВА (1), ВЗ (1) |