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

Базы данных


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

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

    Ефимова, Ольга Вячеславовна.
    Курс компьютерной технологии с основами информатики : учебное пособие для старших классов / О. Ефимова, В. Морозов, Н. Угринович. - [Переизд. 1999 г.]. - Москва : АСТ : ABF, 2000. - 424, [7] с. - ISBN 5-17-003323-0 : 70.00 р.
ББК 32.971.321.4я72
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
алгебра высказываний -- алгоритмы -- архитектура (комп.) -- графические редакторы -- двоичное кодирование -- информационные модели -- информация -- кодирование информации -- компьютерные коммуникации -- логика высказывания (комп.) -- модели данных (комп.) -- моделирование -- объектно-ориентированное моделирование -- объектно-ориентированное программирование -- программное обеспечение -- системы счисления -- текстовые редакторы -- хранение информации -- Шеннона формула -- электронные таблицы -- Информатика -- Компьютеры -- Практикумы для школ -- Тесты


Доп.точки доступа:
Морозов, Владимир Владимирович \.\; Угринович, Николай Дмитриевич \.\
Экземпляры всего: 1
Запсибовская, ул. Горьковская 27, т. 52-55-97, абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие
2.
   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)
Прямая ссылка
Найти похожие
3.
   74.26
   К17

    Калужнин, Лев Аркадьевич.
    Элементы теории множеств и математической логики в школьном курсе математики : пособие для учителей / Л. А. Калужнин. - Москва : Просвещение, 1978. - 85, [2] с. : ил. - Библиография: с. 85-86 (29 назв.). - 0.15 р.
ББК 74.26
Рубрики: Педагогика
Кл.слова (ненормированные):
математика -- методика преподавания в средней школе -- теория множеств -- математическая логика -- формальная логика -- алгебра высказываний -- алгебра множеств -- предикаты -- кванторы -- суждения -- силлогизмы

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

    Новиков, Петр Сергеевич.
    Элементы математической логики / П.С. Новиков. - 2-е изд., испр. - Москва : Наука, Главная редакция физико-математической литературы, 1973. - 399 с. - (Математическая логика и основания математики). - 1.43 р.
ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ АРИФМЕТИКА -- АКСИОМЫ -- НЕЗАВИСИМЫЕ АКСИОМЫ

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