Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

Главная

Сайт МБУ "МИБС"

Инструкция по поиску в WEB-ИРБИС

Видеоуроки по поиску в WEB-ИРБИС

Базы данных

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

Вид поиска

Электронный каталог

Периодика МИБС

Периодика Новокузнецка

Статьи

Краеведческие статьи

Списанные книги

Область поиска

Поисковый запрос: (<.>K=логика высказывания (комп.)<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

   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)
Прямая ссылка
Найти похожие

   87.4
   В 75

    Воробьев, Hиколай Владимирович.
    Умозаключение по аналогии : лекция / H.В. Воробьев ; М-во высшего и среднего спец. образования РСФСР, Hауч.-метод.кабинет по заочному и веч. обучению МГУ им. М.В.Ломоносова. - Москва : Издательство МГУ, 1963. - 24, [2] с. - 0.05 р.

ББК 87.42
Рубрики: Логика
Кл.слова (ненормированные):
аналогия умозаключения -- выводы -- заключение вероятное -- заключение по аналогии -- умозаключение по аналогии -- логика высказывания (комп.) -- высказывание (лог.) -- гомология -- сравнительный анализ -- Умозаключение (лог.) -- Умозаключение (лог.) -- Структура -- Виды

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

   87.3(4)
   Г 27

    Гегель, Георг Вильгельм Фридрих.
    Сочинения. Т. 1. Энциклопедия философских наук. Ч. 1. Логика / Гегель ; пер. В. Столпнер ; под ред. А. Деборина, Н. Карева ; вступ. ст. А. Деборина ; Ин-т К.Маркса и Ф.Энгельса. - Москва ; Ленинград : Государственное издательство, 1929. - 368 с. - Предм. указ.: с. 361-367. - 0.70 р.

ББК 87.3(4Гем)5 + 87.4
Рубрики: Философия
Кл.слова (ненормированные):
АБСОЛЮТНАЯ ИДЕЯ -- АНАЛИЗ (ЛОГ.) -- БЕСКОНЕЧНОЕ -- БЫТИЕ (ФИЛОС.) -- ВЗАИМОДЕЙСТВИЕ -- ДВИЖЕНИЕ (ФИЛОС.) -- ДИАЛЕКТИЧЕСКАЯ ЛОГИКА -- ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ДУША -- ЖИЗНЬ -- ИДЕЯ АБСОЛЮТНАЯ -- ИСТИНА (ФИЛОС.) -- ИСТОРИЯ ФИЛОСОФИИ -- КАНТ И. -- КАТЕГОРИИ -- КАЧЕСТВО (ФИЛОС.) -- КОЛИЧЕСТВО (ФИЛОС.) -- ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- ЛОГИЧЕСКОЕ МЫШЛЕНИЕ -- МАТЕРИЯ (ФИЛОС.) -- МЕРА -- МЕТАФИЗИКА -- МЫШЛЕНИЕ -- ОТНОШЕНИЕ (ФИЛОС.) -- ПОЗНАНИЕ -- ПОНЯТИЕ (ЛОГ.) -- ПРИЧИННОЕ ОТНОШЕНИЕ -- СОДЕРЖАНИЕ(ФИЛОС.) -- СОФИСТИКА -- СТЕПЕНЬ -- СУЖДЕНИЕ (ЛОГ.) -- СУЩНОСТЬ (ФИЛОС.) -- ТОЖДЕСТВА -- УМОЗАКЛЮЧЕНИЕ (ЛОГ.) -- ФИЛОСОФСКИЕ КАТЕГОРИИ -- ФИЛОСОФСКИЕ КОНЦЕПЦИИ -- ФИЛОСОФСКИЕ ПОНЯТИЯ -- ФИЛОСОФСКИЕ УЧЕНИЯ -- ФИХТЕ И.Г. -- ФОРМА (ФИЛОС.) -- ЭМПИРИЗМ -- ЯВЛЕНИЕ -- НЕМЕЦКАЯ КЛАССИЧЕСКАЯ ФИЛОСОФИЯ -- 18 В. 2-Я ПОЛ. -- ЛИЧНЫЕ БИБЛИОТЕКИ -- ЛИЧНАЯ БИБЛИОТЕКА ПОЛЯНСКОЙ Е. М. -- КНИГИ ДО 1947 -- РЕДКИЙ ФОНД МИБС ДО 1947

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

   87.1
   В 74


    Вопросы философии и социологии : (сборник работ аспирантов философского факультета ЛГУ). Вып. 1 / ЛГУ им. А. А. Жданова. - Ленинград : Издательство ЛГУ, 1969. - 158, [2] с. - 0.76 р.

ББК 87.1 + 60.5
Рубрики: Социология (общие вопросы)
Философия (общие вопросы)
Кл.слова (ненормированные):
антропософия -- аппроксимация -- Гастев А.К. -- Гегель Г.В.Ф. -- генетическая модель -- диалектика -- знание (филос.) -- история философии -- Лесневский Ст. -- личность -- логика высказывания (комп.) -- марксистская социология -- марксистская философия -- научное познание -- нации -- организация труда -- Ортега-и-Гассет Х. -- первобытные формы религии -- переход к социализму -- познание -- правовая психология -- прогнозирование социальное -- прогнозы (социол.) -- работники телевидения -- социальная психология -- социологическое знание -- способности -- телезрители -- телекомментаторы -- теология -- Тиллих П. -- трудовые коллективы -- управление -- Филиппов М.М. -- философия искусства -- философия человека -- Хаузер А. -- человек -- Шеллинг Ф.В. -- экзистенциализм (филос.) -- Энгельс Ф. -- юношество -- Социология (общие вопросы) -- Философия (общие вопросы) -- Научные исследования -- Научные исследования -- Сборники

Доп.точки доступа:
Сарайкин, Г.З. \.\; Рихтер, И.А. \.\; Журавлев, О.В. \.\; Рудой, В.И. \.\; Парамонов, Б.М. \.\; Ризз, Г.И. \.\; Савинова, О.Л. \.\; Кобзарь, В.И. \.\; Солонин, Ю.Н. \.\; Сергеев, К.А. \.\; Соколов, А.Н. \.\; Петров, В.П. \.\; Алексеев, Б.Т. \.\; Суханов, Б.М. \.\; Шевляков, В.С. \.\; Смирнов, Б.В. \.\; Карасев, В.и. \.\; Белянкин, Ю.н. \.\; Виноградов, В.Д. \.\; Пушкина, З.М. \.\; Блинов, В.В. \.\; Макутон, П.Я. \.\; Кузнецова, И.М. \.\; Линьков, Е.С. \.\; Фетисов, В.Я. \.\; Дивитовская, Н.А. \.\; Невельштейн, В.С. \.\; Терехова, Г.И. \.\; Червинская, Л.В. \.\; Лысков, А.П. \.\; Фатеева, Н.А. \.\; Осколков, А.Н. \.\; Кулик, В.С. \.\; Маркс, Карл (1818-1883) \о нем\; Marx, Karl \о нем\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   87.4
   Г 47

    Гильберт, Дэвид.
    Основы теоретической логики / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Библиогр.: с. 297-298. - Приложение: с. 208-296. - 1.46 р.

ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ (ЛОГ.) -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ (ЛОГ.) -- ЛОГИСТИКА -- ЛОГИКА ПРИКЛАДНАЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ТЕОРИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА -- СВОДИМОСТЬ (ЛОГ,) -- ПАРАДОКСЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)