517 Г 977 Гуц, Александр Константинович. Математическая логика и теория алгоритмов : Учеб. пособие / Омский гос. ун-т. - Омск : Наследие: Диалог-Сибирь, 2003. - 108 с. - Библиогр.: с. 105-107. - ISBN 5-8239-0126-7 : 50.00 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): Математическая логика -- Логика высказываний -- Логика предикатов -- Алгоритмы Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
Кл.слова (ненормированные): Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания Доп.точки доступа: Верещагин, Николай Константинович Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 З-981 Зюзьков, В. М. Математическая логика и теория алгоритмов : учебное пособие / В. М. Зюзьков, А. А. Шелупанов ; Томский государственный университет систем управления радиоэлектроники (ТУСУР). - Томск : Томский межвузовский центр дистанционного образования, 2001. - 154 с. - 105.60 р., 105.60 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): Множеств теория -- Логика высказываний -- Булевы алгебры -- Логика предикатов Доп.точки доступа: Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР) Экземпляры всего: 10 Х (1), ЧЗЕ (1), АБУ (8) Свободны: Х (1), ЧЗЕ (1), АБУ (8) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова Экземпляры всего: 15 АБУ (15) Свободны: АБУ (15) |
517 К 493 Клини, Стивен Коул. Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
51од R 19 Ramsey, Frank Plumpton. The foundation of mathematics and other logical essays / F. P. Ramsey ; ed. by R. B. Btaithwaite; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - xviii, 292 с. - (The international library of philosophy) (Philosophy of logic and mathematics in 8 volumes ; vol. V). - Библиогр.: с. xv-xvi. - ISBN 0-415-22546-9 : 4500.00 р. Примечания о происхождении: Оксфордский Российский Фонд
Кл.слова (ненормированные): Математическая логика -- Логика -- Истина и вероятность Доп.точки доступа: Braithwaite, R. B. \ред.\; Moore, G. E. \авт. предисл.\ Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
51 Я 919 Яхъяева, Гульнара Эркиновна. Нечеткие множества и нейронные сети : учебное пособие / Г. Э. Яхъяева. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 316 с. : ил., табл. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 5-94774-510-0. - ISBN 5-9556-0049-3 : 234.00 р., 234.00 р., 234 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- СЕТЕЙ ТЕОРИЯ -- НЕЧЕТКИЕ МНОЖЕСТВА -- НЕЙРОННЫЕ СЕТИ -- ПЕРСЕПТРОНЫ Экземпляры всего: 48 Х (1), ЧЗЕ (1), АБУ (46) Свободны: Х (1), ЧЗЕ (1), АБУ (46) |
51 Т 338 Теория моделей в Казахстане : сб. науч. работ, посвящ. памяти А. Д. Тайманова / под ред. М. М. Еримбетова. - Алматы : [б. и.], 2006. - 448 с. : табл. - Библиогр.: с. 408-413. - ISBN 996597-18-3-8 : 230 р., 250.00 р.
Казахстан Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГЕБРА МОДЕЛЬНАЯ -- ЛИНЕЙНЫЕ ГРУППЫ -- МАТРИЧНЫЕ ГРУППЫ -- МАТЕМАТИКИ РОССИИ Доп.точки доступа: Еримбетов, М. М. \ред.\; Тайманов, Асан Дабсович (1917-1990) Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |
517 И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Экземпляры всего: 20 Х (1), ЧЗЕ (1), АБУ (18) Свободны: Х (1), ЧЗЕ (1), АБУ (18) |
517 Н 166 Наголкин, Андриан Николаевич. Алгебра логики в золотом сечении: еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин. - Москва : МАКС Пресс, 2006. - 184 с. - Библиогр.: с. 180-181. - ISBN 5-317-01731-9 : 110.00 р., 110.00 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- НЕЙРОКОМПЬЮТЕРЫ -- ИНТЕЛЛЕКТ КОМПЬЮТЕРНЫЙ Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
517 Н 723 Новак, Вилем. Математические принципы нечеткой логики = Mathematical principles of fuzzy logic : перевод с английского / В. Новак, И. Перфильева, И. Мочкорж ; пер. А. Н. Аверкин. - Москва : ФИЗМАТЛИТ, 2006. - 352 с. - Библиогр.: с. 335-343. - ISBN 5-9221-0399-7 : 195.00 р., 249.50 р.
Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ -- НЕЧЕТКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (МАТЕМАТИКА) -- НЕЧЕТКИЕ МНОЖЕСТВА Доп.точки доступа: Перфильева, Ирина; Мочкорж, Иржи; Аверкин, А. Н. \пер.\ Экземпляры всего: 4 Х (1), ЧЗЕ (1), АБН (2) Свободны: Х (1), ЧЗЕ (1), АБН (2) |
517 А 456 Алгебра логики / В. Б. Кудрявцев, Г. Н. Блохина, Ж. Кнап, В. В. Кудрявцев ; Моск. гос. ун-т им. М. В. Ломоносова. - М. ; Любляна : Изд-во ЦПИ при мех.-мат. фак. МГУ, 2006. - 200 с. : ил. - Библиогр.: с. 198-199. - 70 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Кудрявцев, Валерий Борисович; Блохина, Галина Николаевна; Кнап, Жига; Кудрявцев, Валерий Валерьевич; Московский государственный университет им. М. В. Ломоносова (М.). Механико-математический факультет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 П 580 Попов, С. В. Логическое моделирование / С. В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 180 р.
Кл.слова (ненормированные): ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКИЕ МЕТОДЫ РЕШЕНИЯ ЗАДАЧ -- ПРИКЛАДНЫЕ ЗАДАЧИ (МЕТОДЫ РЕШЕНИЯ) -- ПОКОС (СИСТЕМА ЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ) Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика : курс лекций: задачник-практикум и решения: учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 : 255.80 р., 255.80 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 Е 804 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для студентов математических специальностей вузов / Ю. Л. Ершов, Е. А. Палютин. - 2-е изд., испр. и доп. - Москва : Наука , 1987. - 336 с. - Предм. указ.: с. 335-336. - 0.95 р., 1.10 р.
Кл.слова (ненормированные): ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ТЕОРИЯ МНОЖЕСТВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ТЕОРИЯ МОДЕЛЕЙ -- ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ФУНКЦИИ Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 10 Х (1), АБЗ (9) Свободны: Х (1), АБЗ (9) |
517 И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие для физ.-мат. спец. пед. ин-тов / В. И. Игошин. - Саратов : Изд-во Сарат. ун-та, 1991. - 255 с. - ISBN 5-292-00259-3 : 00.84 р.
Математическая логика--Учебные издания для высших учебных заведений Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): Математическая логика -- Алгоритмы Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 С 892 Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Министерство образования РФ, Новосибирский государственный технический университет. - Москва : Инфра-М ; Новосибирск : НГТУ, 2008. - 224 с. : рис. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 118.80 р., 118.80 р., 100.00 р., 100 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ Доп.точки доступа: Овчинникова, Елена Викторовна; Министерство образования РФНовосибирский государственный технический университет Экземпляры всего: 18 Х (1), АБУ (16), ЧЗЕ (1) Свободны: Х (1), АБУ (16), ЧЗЕ (1) |
517 К 608 Колмогоров, А. Н. Введение в математическую логику : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 120 с. - 0.25 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Драгалин, А. Г. Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Т 338 Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла-Ленга : сборник статей / под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина под ред. В. Б. Шехтмана и И. В. Артамкина. - Москва : МЦНМО, 2008. - 280 с. - Библиогр. в конце ст. - ISBN 978-5-94057-125-4 : 180 р.
Алгебраическая геометрия Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- МОРДЕЛЛА-ЛЕНГА ГИПОТЕЗА -- АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ -- АБЕЛЕВЫ МНОГООБРАЗИЯ -- ЗАРИССКОГО ГЕОМЕТРИИ -- АЛГЕБРАИЧЕСКИ ЗАМКНУТЫЕ ПОЛЯ -- ДИФФЕРЕНЦИАЛЬНО ЗАМКНУТЫЕ ПОЛЯ -- СЕПАРАБЕЛЬНО ЗАМКНУТЫЕ ПОЛЯ -- МАНИНА ТЕОРЕМА (ДОКАЗАТЕЛЬСТВО) Доп.точки доступа: Бускаран, Э. \ред.\; Шехтман, В. Б. \ред.\; Артамкин, И. В. \ред.\; Френкин, Б. Р. \пер.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Э 192 Эдельман, Самсон Львович. Математическая логика : учебное пособие / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с.172 . - Предм. указ.: с. 173-176. - 00.30 р., 00.30 р.
Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ Экземпляры всего: 3 Х (1), АБУ (2) Свободны: Х (1), АБУ (2) |
517 Щ 346 Щегольков, Е. А. Упражнения и задачи по курсу математической логики / Е. А. Щегольков ; Моск. пед. ин-т. - М. : [б. и.], 1971. - 45 с. - 0.15 р.
Кл.слова (ненормированные): Логика математическая Доп.точки доступа: Московский педагогический институт им. В. И. Ленина Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Г 858 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
Кл.слова (ненормированные): БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 11 Х (1), ЧЗЕ (1), АБУ (9) Свободны: Х (1), ЧЗЕ (1), АБУ (9) |
51 K 89 Algebra logike / V. B. Kudrjavcev. - Ljubljana : ZOTKS, 2010. - 200 с. : ил. - (Zbirka Univerza za 21. stoletje). - На англ. яз. - Библиогр.: с. 198-199. - ISBN 978-961-6243-58-2 : 150.00 р.
Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- АЛГЕБРЫ БУЛЕВЫХ ФУНКЦИЙ -- БУЛЕВЫ ФУНКЦИИ -- МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ Доп.точки доступа: Kudrjavcev, Valeriy Borisovitch; Blohina, Galina Nikolayevna; Ziga, Knap; Kudrjavcev, Valeriy Valerievitch Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
51 M 39 Mathematics of the 19th century / ed.: A. N. Kolmogorov, A. P. Yushkevich. - Basel : Birkhauser, 2001 - . Vol. 1 : Mathematical logic. Algebra. Number theory. Probability theory / transl.: A. Shenitzer, H. Grant, O. B. Sheinin. - 2-е изд., rev. - 2001. - 308 с. : ил... - На англ. яз. - Библиогр.: с. 289-301. - ISBN 3-7643-6442-4. - ISBN 3-7643-6441-6 : 884.00 р.
Кл.слова (ненормированные): Математика (история) -- алгебра -- математическая логика -- теория вероятностей -- теория чисел Доп.точки доступа: Kolmogorov, Andrey Nikolayevitch (1903-1987) \ed.\; Yushkevich, A. P. \ed.\; Shenitzer, A. \transl.\; Grant, H. \transl.\; Sheinin, O. B. \transl.\ Экземпляры всего: 1 ОИЛ (1) Свободны: ОИЛ (1) |
5 Х 204 Харин, Н. Н. Математическая логика и теория множеств (О соотношении абстрактного и конкретного) / Н. Н. Харин ; ред. Я. Л. Харапинский. - Москва : Росвузиздат, 1963. - 192 с. - Библиогр.: с. 191-192. - 0.90 р.
Кл.слова (ненормированные): Теория множеств -- Математическая логика -- Теория алгоритмов Доп.точки доступа: Харапинский, Я. Л. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Т 150 Такеути, Гаиси. Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева под ред. С. И. Адяна. - Москва : Мир, 1978. - 412 с. - Предм. указ.: с. 406-410. - 2.10 р., 2.10 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ Доп.точки доступа: Соболев, С. К. \пер.\; Адян, С. И. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
517 Б 898 Брюшинкин, Владимир Никифорович. Теория поиска вывода. Происхождение и философские приложения / В. Н. Брюшинкин, Н. А. Ходикова. - Калининград : Издательство Балтийского федерального ун-та им. Иммануила Канта, 2012. - 166 с. - (Библиотека электронного журнала "РАЦИО.ru" ; вып. 6). - Библиогр.: с. 158-166. - ISBN 978-5-9971-0222-7 : 200 р.
Кл.слова (ненормированные): ПОИСК ВЫВОДА -- ГИЛЬБЕРТОВСКАЯ ТЕОРИЯ ДОКАЗАТЕЛЬСТВ -- АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО -- ЭВРИСТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Доп.точки доступа: Ходикова, Нина Анатольевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 П 580 Попов, Сергей Викторович. Прикладная логика / С. В. Попов, Н. Л. Брошкова. - Москва : Физматлит, 2011. - 212 с. : ил. - Библиогр.: с. 210-212. - ISBN 978-5-9221-1340-3 : 250 р.
Кл.слова (ненормированные): ЛОГИКА ПРАКТИЧЕСКАЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- МАТЕМАТИКА (ЛОГИКА) -- ЛОГИЧЕСКИЕ СХЕМЫ -- ЛОГИЧЕСКИЕ БЛОКИ -- ЛОГИЧЕСКИЕ ЗАДАЧИ (КЛАССИФИКАЦИЯ) -- ЛОГИЧЕСКИЙ АНАЛИЗ -- СЕКВЕНЦИАЛЬНОЕ ИСЧЕСЛЕНИЕ Доп.точки доступа: Брошкова, Наталья Леонидовна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Б 218 Балюкевич, Эдуард Людвигович. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.
Алгоритмов теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Перейти: Электронная библиотека Доп.точки доступа: Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет" Свободных экз. нет |
16 З-483 Зеленкин, Владимир Харитонович. Логика предикатов [Электронный ресурс] : учебно-методическое пособие для студентов гуманитарных направлений / В. Х. Зеленкин ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Электрон. текстовые дан. - Пермь : [б. и.], 2015. - 1 on-line. - Загл. с домашней страницы Интернета. - Библиогр.: с. 100-101. - ISBN 978-5-7944-2538-3 : 0.00
Рубрики: Логика--Математическая логика--Учебно-методические пособия Кл.слова (ненормированные): ЛОГИКА ПРЕДИКАТОВ Перейти: Полный текст Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Свободных экз. нет |
16 З-483 Зеленкин, Владимир Харитонович. Логика предикатов : учебно-методическое пособие / В. Х. Зеленкин ; Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет. - Пермь : ПГНИУ, 2015. - 100 с. - Библиогр.: с. 98-99. - ISBN 978-5-7944-2538-3 : 150.00 р., 150.00 р., 0.00 р.
Рубрики: Логика предикатов--Учебно-методические пособия Кл.слова (ненормированные): ЛОГИКА ПРЕДИКАТОВ (СИМВОЛЫ) -- ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Экземпляры всего: 11 Х (1), ЧЗГ (1), АБУ (9) Свободны: Х (1), ЧЗГ (1), АБУ (9) |
517 А 601 Алябьева, Валентина Георгиевна. Математическая логика : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров "Прикладная математика и информатика", "Фундаментальная информатика и информационные технологии" и специальности "Компьютерная безопасность" / В. Г. Алябьева ; Министерство образования и науки Российской Федерации, Пермский государственный национальный исследовательский университет. - Пермь : ПГНИУ, 2017. - 111 с. : ил. - Библиогр.: с. 109-110. - ISBN 978-5-7944-2904-6 : 123.20 р.
Кл.слова (ненормированные): ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ (МАТЕМАТИКА) -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ (МАТЕМАТИКА) Перейти: Полный текст Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Экземпляры всего: 4 ЧЗЕ (1), АБУ (3) Свободны: ЧЗЕ (1), АБУ (3) |
Алябьева, Валентина Георгиевна. Математическая логика. Формальная логика [Электронный ресурс] : учебное пособие для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» / В. Г. Алябьева ; М-во образования и науки РФ, Перм. гос. нац. исслед. ун-т. - Электрон. дан. (2,77 Мб). - Пермь : ПГНИУ, 2021. - 109 с. - ISBN 978-5-7944-3611-2 : 0.00
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА (ТЕРМИНОЛОГИЯ) -- ФОРМАЛЬНАЯ ЛОГИКА -- УМОЗАКЛЮЧЕНИЯ -- СИЛЛОГИЗМЫ -- ЛОГИЧЕСКИЙ КВАДРАТ -- РАССУЖДЕНИЯ (ЛОГИКА) Перейти: Полный текст Доп.точки доступа: Министерство образования и науки Российской Федерации; Пермский государственный национальный исследовательский университет Свободных экз. нет |