Б865 Бочаров, В. А. Основы логики : Учеб. для вузов / В.А. Бочаров, В.И. Маркин. - москва : ИНФРА-М,, 1999. - 296 с. : ил. - (Высшее образование). - ISBN 5862255958 : 25.00 р.
Рубрики: Логика--Учебники Кл.слова (ненормированные): Логика -- Логика высказываний -- Логика предикатов -- Теория дедуктивных рассуждений -- Силлогистика -- учебники Доп.точки доступа: Маркин, В.И. Экземпляры всего: 5 кх (3), чз (2) Свободны: кх (3), чз (2) |
Д259 Девятков, Владимир Валентинович. Системы искусственного интеллекта : Учеб. пособие для вузов по спец. "Информ. системы и технологии", "Автоматизир. системы обраб. информ. и упр." / В.В. Девятков. - москва : Изд-во МГТУ, 2001. - 352 с. : ил. - (Информатика в техническом университете). - ISBN 5703817277 : 98.04 р. Доп. МО РФ
Рубрики: Искусственный интеллект--Учебные пособия Кл.слова (ненормированные): Искусственный интеллект -- Логика предикатов -- Среды -- Ситуационные исчисления -- Модальность -- Модальная логика -- Дедуктивные базы данных -- Формальные логические системы -- Логика высказываний -- Стратегии поиска -- Нечеткие знания -- Онтологии -- учебные пособия Учебная литература: ЭтФ / СИ / 09.04.04 / Системы искусственного интеллекта / 1 / Доп ИПИБ / ИКГ / 15.03.02 / Офисные технологии / 2 / Доп ЮФ / ИКГ / 022000.62 / Офисные технологии / 2 / Доп ЮФ / ИКГ / 022000.62 / Офисные технологии / 3 / Доп ФЭУ / МЭИС / 38.03.05 / Инженерия знаний и интеллектуальные системы / 7 / Осн Экземпляры всего: 5 кх (3), аб (2) Свободны: кх (3), аб (2) |
И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Учебная литература: ЭтФ / ЭВС / 09.04.01 / Аппликативные вычислительные системы / 3 / Осн ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Осн ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн ЭтФ / СИ / 09.03.04 / Функционально-логическое программирование / 7 / Доп Экземпляры всего: 5 чз (2), аб (3) Свободны: чз (2), аб (3) |
И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ
Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп СФ / Сопр / 09.03.02 / Теория алгоритмов / 4 / Доп ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Доп Экземпляры всего: 2 аб (1), чз (1) Свободны: аб (1), чз (1) |
Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р.
Кл.слова (ненормированные): математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна Учебная литература: ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Доп ЭтФ / СИ / 09.03.04 / Математическая логика 1 / 1 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.03 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 4 / Осн ЭтФ / ТК / 09.02.02 9кл / Элементы математической логики / 3 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.03 11кл / Элементы математической логики / 1 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 2 / Осн ЭтФ / ТК / 09.02.02 11кл / Элементы математической логики / 1 / Осн Экземпляры всего: 5 чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |
Ж798 Жоль, Константин Константинович. Логика : учеб. пособие для вузов / К. К. Жоль. - М. : ЮНИТИ, 2004. - 396 с. : ил. - (Bibliotheca Studiorum). - ISBN 5-238-00664-0 : 280 р. Рек. УМЦ
Рубрики: Логика--Учебные пособия Кл.слова (ненормированные): символическая логика -- математическая логика -- логика высказываний -- пропозициональная логика -- логика предикатов -- конструктивистская логика -- интуиционистская логика -- модальная логика -- логическая семантика -- логическое программирование -- учебные пособия Экземпляры всего: 1 чз (1) Свободны: чз (1) |
Е421 Ездаков, Андрей Леонидович. Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. - ISBN 978-5-8199-0398-8 (в пер.) : 200.00 р. Допущено УМО
Кл.слова (ненормированные): экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия Учебная литература: СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (AutoCad) / 3 / Осн ЭтФ / СИ / 02.04.03 / Методы анализа формальных понятий / 3 / Доп ЭтФ / СИ / 02.04.03 / Онтологии и тезаурусы / 3 / Доп ЭтФ / СИ / 02.04.03 / Семантические сети / 3 / Доп СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (MagicCad) / 4 / Осн ИПИБ / БМТ ПАПП / 12.03.04 / САПР / 5 / Доп СФ / ТГВ / 08.03.01 / Системы автоматизированного проектирования СКМ / 6 / Осн ФЭСТД / СТС / 43.03.03 / Информационные технологии в гостиничном сервисе / 7 / Осн СФ / СОПР / 09.03.02 / Автоматизированные системы проектирования в строительстве / 8 / Осн Экземпляры всего: 5 аб (2), чз (3) Свободны: аб (2), чз (3) |
П58 Попов, Юрий Петрович. Логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки и специальности "Философия" / Ю. П. Попов. - 3-е изд., перераб. и доп. - Москва : КНОРУС, 2015. - 294, [2] с. ; 22 см. - 396 экз.. - ISBN 978-5-406-03908-3 (в пер.) : 406.67 р.
Рубрики: Логика--Учебные пособия Кл.слова (ненормированные): логика -- традиционная логика -- суждение -- законы логики -- умозаключение -- доказательство -- символическая логика -- логика высказываний -- логика предикатов -- учебные пособия Учебная литература: ФЭУ / Философия / 38.03.06 / Логика и теория аргументации / 2 / Осн Экземпляры всего: 20 чз (3), аб (17) Свободны: чз (3), аб (16) |
Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц. Рубрики: Математическая логика--Учебные пособия Кл.слова (ненормированные): логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия Перейти к внешнему ресурсу: Полный текст в ЭБС "Руконт" Доп.точки доступа: Петрова, Любовь Петровна \сост.\; Садовский, Борис Николаевич \сост.\ Учебная литература: ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Осн Свободных экз. нет |