Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=ЛОГИКА ПРЕДИКАТОВ<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.
ББК 22.12я73
Рубрики: Математика
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИТМЫ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЛОГИК-ТЕОРЕТИК, ПРОГРАММА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ, ЯЗЫК ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
2.
   87.4
   Л69

   
    Логика и методология научного познания. Эмпирическое познание : [сборник статей] / под редакцией А. А. Старченко. - Москва : Издательство Московского университета, 1974. - 157, [2] с. - Библиография в конце статей. - 0.64 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
логика высказываний -- логика предикатов -- научное познание -- модальная логика -- суждение (лог.) -- логика вопросов -- методология познания


Доп.точки доступа:
Старченко, А. А. \ред.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
3.
   87.4
   С50

    Смирнов, Владимир Александрович.
    Формальный вывод и логические исчисления / В. А. Смирнов ; Академия наук СССР, Институт философии. - Москва : Наука, 1972. - 270, [1] с. - 0.67 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
рассуждение (лог.) -- логические системы -- логика предикатов -- предикаты (лог.)

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
4.
   87.4
   С 60

    Солодухин, Олег Анатольевич.
    Логика : экзаменационные ответы / О. А. Солодухин. - Ростов-на-Дону : Феникс, 2002. - 350, [1] с. ; 20 см. - (Сдаем экзамен). - Библиогр.: с. 345-348. - ISBN 5-222-02270-6 (в пер.) : 89.00 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА -- ЭКЗАМЕНАЦИОННЫЕ ОТВЕТЫ -- ПОНЯТИЕ -- СУЖДЕНИЕ -- РАССУЖДЕНИЕ -- ЛОГИКА ПРЕДИКАТОВ -- НЕКЛАССИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВО -- ОПРОВЕРЖЕНИЕ -- ПРОБЛЕМА -- ГИПОТЕЗА -- ТЕОРИЯ -- ДИАЛОГИКА -- ЭРОТЕТИКА ДИАЛОГА -- ПРАГМАТИКА ДИАЛОГА -- ПАРАДОКСЫ -- СОФИЗМЫ

Держатели документа:
МБУ "МИБС"
Экземпляры всего: 1
Центральная детская библиотека, читальный зал ул.Циолковского 27, т.77-25-82 (1)
Свободны: Центральная детская библиотека, читальный зал ул.Циолковского 27, т.77-25-82 (1)
Прямая ссылка
Найти похожие
5.
   22.12
   Г 49

    Гиндикин, Семен Григорьевич.
    Алгебра логики в задачах / С. Г. Гиндикин. - Москва : Наука, Главная редакция физико-математической литературы, 1972. - 287, [1] с. : ил. - Библиогр.: с. 282-284. -Предм. указ.: с. 285-288. - 0.76 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА ЛОГИКИ -- ЛОГИКА ПРЕДИКАТОВ -- ЗАДАЧНИКИ

Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
6.
   22.12
   Б88

    Бродский, Иосиф Нусимович.
    Элементарное введение в символическую логику / И. Н. Бродский ; Ленинградский государственный университет имени А. А. Жданова. - Издание 2-е, переработанное. - Ленинград : Издательство Ленинградского Университета, 1972. - 60, [2] с. - (В помощь студентам вечерних и заочных вузов). - 0.14 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
СИМВОЛИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ ЛОГИКА -- ЯЗЫК ЛОГИКИ -- ЛОГИЧЕСКИЕ СОЮЗЫ -- РАВНОСИЛЬНЫЕ ФОРМУЛЫ -- ПРЕДИКАТЫ -- ЛОГИКА ПРЕДИКАТОВ


Доп.точки доступа:
Ленинградский государственный университет имени А. А. Жданова
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (2)
Прямая ссылка
Найти похожие
7.
   22.12я7
   К 60

    Колмогоров, Андрей Николаевич.
    Введение в математическую логику : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 118, [2] с. : ил. - 0.25 р.
ББК 22.12я7
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- МАТЕМАТИЧЕСКИЕ ТЕОРИИ -- ТЕОРИЯ МНОЖЕСТВ -- МНОЖЕСТВ ТЕОРИЯ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)