Web ИРБИС

16
И 255

    Ивлев, Юрий Васильевич.
    Логика [Текст] : учебник / Ю. В. Ивлев ; МГУ им. М. В. Ломоносова (М.). - Изд. 4-е, перераб. и доп. - М. : Проспект, 2016. - 296 с : рис., табл. - ISBN 978-5-392-18490-3 : 288.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16(075.8)
~РУБ 16

Кл.слова (ненормированные):
УЧЕБНИКИ -- ИСТОРИЯ -- ЯЗЫК -- СЕМАНТИКА -- ПРЕДИКАТЫ -- ДЕДУКЦИЯ -- ИНДУКЦИЯ -- ПОНЯТИЯ -- ВЕННА ДИАГРАММЫ -- УПРАВЛЕНЧЕСКОЕ РЕШЕНИЕ
Доп.точки доступа:
МГУ им. М. В. Ломоносова (М.)

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)

51
Ш447

    Шелупанов, Александр Александрович.
    Математическая логика и теория алгоритмов : Учебное пособие / А. А. Шелупанов, В. М. Зюзьков. - Томск : STT, 2001. - 176 с. : фото. - Библиогр.: с. 173-174. - ISBN 5-93629-031-X : 44.00 р., 44.00 р., 55.00 р., 15.83 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ВЕННА ДИАГРАММЫ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ АЛГЕБРЫ -- ЛОГИКА ПРЕДИКАТОВ -- ИСЧИСЛЕНИЯ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ТЬЮРИНГА МАШИНЫ
Доп.точки доступа:
Зюзьков, Валентин Михайлович

Имеются экземпляры в отделах: , аунл (24 экз.), счз1 (2 экз.)
Свободны: аунл (23), счз1 (2)

request_decrypt("(<.>K=ВЕННА ДИАГРАММЫ<.>)","");