Логика в информатике: Методическое пособие
| Príomhchruthaitheoir: | Лыскова В. Ю. Вероника Юрьевна |
|---|---|
| Rannpháirtithe: | Ракитина Е. А. Елена Александровна |
| Teanga: | Rúisis |
| Foilsithe / Cruthaithe: |
Москва, Лаборатория Базовых Знаний, 2004
|
| Sraith: | Информатика |
| Ábhair: | |
| Formáid: | LEABHAR |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=64223 |
Míreanna comhchosúla
Прикладная логика информатики
de réir: Козачков Л. С. Лев Семенович
Foilsithe / Cruthaithe: (Киев, Наукова думка, 1990)
de réir: Козачков Л. С. Лев Семенович
Foilsithe / Cruthaithe: (Киев, Наукова думка, 1990)
Математическая логика и теория алгоритмов: учебное пособие
de réir: Шелупанов А. А. Александр Александрович
Foilsithe / Cruthaithe: (Томск, STT, 2001)
de réir: Шелупанов А. А. Александр Александрович
Foilsithe / Cruthaithe: (Томск, STT, 2001)
Логика: учебное пособие для вузов
de réir: Ивин А. А. Александр Архипович
Foilsithe / Cruthaithe: (Москва, Высшая школа, 2004)
de réir: Ивин А. А. Александр Архипович
Foilsithe / Cruthaithe: (Москва, Высшая школа, 2004)
Логика: Курс лекций
de réir: Тымцяс В. Г.
Foilsithe / Cruthaithe: (Москва, ПРИОР, 1999)
de réir: Тымцяс В. Г.
Foilsithe / Cruthaithe: (Москва, ПРИОР, 1999)
Математическая логика: учебное пособие
de réir: Лавров И. А. Игорь Андреевич
Foilsithe / Cruthaithe: (Москва, Академия, 2006)
de réir: Лавров И. А. Игорь Андреевич
Foilsithe / Cruthaithe: (Москва, Академия, 2006)
Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
de réir: Бабичева И. В.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2024)
de réir: Бабичева И. В.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2024)
Символическая логика: классическая и релевантная: философско - методологические аспекты; учебное пособие
de réir: Войшвилло Е. К. Евгений Казимирович
Foilsithe / Cruthaithe: (Москва, Высшая школа, 1989)
de réir: Войшвилло Е. К. Евгений Казимирович
Foilsithe / Cruthaithe: (Москва, Высшая школа, 1989)
Симметрическая конструктивная логика
de réir: Заславский И. Д. Игорь Дмитриевич
Foilsithe / Cruthaithe: (Ереван, Изд-во АН Армянской ССР, 1978)
de réir: Заславский И. Д. Игорь Дмитриевич
Foilsithe / Cruthaithe: (Ереван, Изд-во АН Армянской ССР, 1978)
Логика: учебник для бакалавров
de réir: Михайлов К. А. Кирилл Авенирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2014)
de réir: Михайлов К. А. Кирилл Авенирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2014)
Математическая логика: учебное пособие
de réir: Колмогоров А.Н. Андрей Николаевич
Foilsithe / Cruthaithe: (Москва, УРСС, 2005)
de réir: Колмогоров А.Н. Андрей Николаевич
Foilsithe / Cruthaithe: (Москва, УРСС, 2005)
Как математика ум в порядок приводит
de réir: Столяр А. А. Абрам Аронович
Foilsithe / Cruthaithe: (Минск, Высшая школа, 1991)
de réir: Столяр А. А. Абрам Аронович
Foilsithe / Cruthaithe: (Минск, Высшая школа, 1991)
Логическое программирование и моделирование систем: учебное пособие
de réir: Новосельцев В. Б. Виталий Борисович
Foilsithe / Cruthaithe: (Томск, Изд-во ТПУ, 2008)
de réir: Новосельцев В. Б. Виталий Борисович
Foilsithe / Cruthaithe: (Томск, Изд-во ТПУ, 2008)
Логика, мышление, информация
de réir: Брюшинкин В. Н. Владимир Никифорович
Foilsithe / Cruthaithe: (Ленинград, Изд-во Ленинградского ун-та, 1988)
de réir: Брюшинкин В. Н. Владимир Никифорович
Foilsithe / Cruthaithe: (Ленинград, Изд-во Ленинградского ун-та, 1988)
Логика: учебное пособие
de réir: Хоменко Е. А. Ефим Алексеевич
Foilsithe / Cruthaithe: (Москва, Воениздат, 1976)
de réir: Хоменко Е. А. Ефим Алексеевич
Foilsithe / Cruthaithe: (Москва, Воениздат, 1976)
Первое знакомство с математической логикой
de réir: Депман И. Я. Иван Яковлевич
Foilsithe / Cruthaithe: (Ленинград, Знание, 1965)
de réir: Депман И. Я. Иван Яковлевич
Foilsithe / Cruthaithe: (Ленинград, Знание, 1965)
Логика: учебное пособие для вузов
de réir: Гетманова А. Д. Александра Денисовна
Foilsithe / Cruthaithe: (Москва, Академический проект, 2009)
de réir: Гетманова А. Д. Александра Денисовна
Foilsithe / Cruthaithe: (Москва, Академический проект, 2009)
Динамика логических устройств и систем
de réir: Левин В. И. Виталий Ильич
Foilsithe / Cruthaithe: (Москва, Энергия, 1980)
de réir: Левин В. И. Виталий Ильич
Foilsithe / Cruthaithe: (Москва, Энергия, 1980)
Кн. 1; Логика как часть теории познаний и научной методологии
Foilsithe / Cruthaithe: (1994)
Foilsithe / Cruthaithe: (1994)
Элементы систем автоматики: учебное пособие
de réir: Водовозов А. М. Александр Михайлович
Foilsithe / Cruthaithe: (Москва, Академия, 2008)
de réir: Водовозов А. М. Александр Михайлович
Foilsithe / Cruthaithe: (Москва, Академия, 2008)
Что такое математическая логика?
de réir: Калужнин Л. А. Лев Аркадьевич
Foilsithe / Cruthaithe: (Москва, Наука, 1964)
de réir: Калужнин Л. А. Лев Аркадьевич
Foilsithe / Cruthaithe: (Москва, Наука, 1964)
Цифровые устройства и микропроцессоры: учебное пособие
de réir: Безуглов Д. А. Дмитрий Анатольевич
Foilsithe / Cruthaithe: (Ростов-на-Дону, Феникс, 2006)
de réir: Безуглов Д. А. Дмитрий Анатольевич
Foilsithe / Cruthaithe: (Ростов-на-Дону, Феникс, 2006)
Цифровые устройства и микропроцессоры: учебное пособие для вузов
de réir: Безуглов Д. А. Дмитрий Анатольевич
Foilsithe / Cruthaithe: (Ростов-на-Дону, Феникс, 2008)
de réir: Безуглов Д. А. Дмитрий Анатольевич
Foilsithe / Cruthaithe: (Ростов-на-Дону, Феникс, 2008)
Схемотехника и средства проектирования цифровых устройств: учебное пособие
de réir: Амосов В. В. Владимир Владимирович
Foilsithe / Cruthaithe: (СПб., БХВ-Петербург, 2007)
de réir: Амосов В. В. Владимир Владимирович
Foilsithe / Cruthaithe: (СПб., БХВ-Петербург, 2007)
Математическая логика и теория алгоритмов для программистов: учебное пособие
de réir: Гринченков Д. В. Дмитрий Валерьевич
Foilsithe / Cruthaithe: (Москва, КноРус, 2010)
de réir: Гринченков Д. В. Дмитрий Валерьевич
Foilsithe / Cruthaithe: (Москва, КноРус, 2010)
Логика: теория аргументации и критического мышления
de réir: Воробьева С. В.
Foilsithe / Cruthaithe: (Минск, БГУ, 2018)
de réir: Воробьева С. В.
Foilsithe / Cruthaithe: (Минск, БГУ, 2018)
Логика и проблемы обучения: сборник статей
Foilsithe / Cruthaithe: (Москва, Педагогика, 1977)
Foilsithe / Cruthaithe: (Москва, Педагогика, 1977)
Логика в статистике: пер. с итал.
de réir: Джини К. Коррадо
Foilsithe / Cruthaithe: (Москва, Статистика, 1973)
de réir: Джини К. Коррадо
Foilsithe / Cruthaithe: (Москва, Статистика, 1973)
Учимся информатике: задачи и методы их решения: учебное пособие
de réir: Гусева А. И. Анна Ивановна
Foilsithe / Cruthaithe: (Москва, Диалог-МИФИ, 2001)
de réir: Гусева А. И. Анна Ивановна
Foilsithe / Cruthaithe: (Москва, Диалог-МИФИ, 2001)
Категорная логика
de réir: Васюков В. Л. Владимир Леонидович
Foilsithe / Cruthaithe: (Москва, АНО Институт логики, 2005)
de réir: Васюков В. Л. Владимир Леонидович
Foilsithe / Cruthaithe: (Москва, АНО Институт логики, 2005)
Логика и теория познания: межвузовский сборник
Foilsithe / Cruthaithe: (Ленинград, Изд-во ЛГУ, 1990)
Foilsithe / Cruthaithe: (Ленинград, Изд-во ЛГУ, 1990)
Цифровая схемотехника: учебное пособие
de réir: Угрюмов Е. П. Евгений Павлович
Foilsithe / Cruthaithe: (СПб., БХВ-Петербург, 2000)
de réir: Угрюмов Е. П. Евгений Павлович
Foilsithe / Cruthaithe: (СПб., БХВ-Петербург, 2000)
Логическое программирование и моделирование систем: учебное пособие
de réir: Новосельцев В. Б. Виталий Борисович
Foilsithe / Cruthaithe: (Томск, Изд-во ТПУ, 2008)
de réir: Новосельцев В. Б. Виталий Борисович
Foilsithe / Cruthaithe: (Томск, Изд-во ТПУ, 2008)
Диалектическая логика: основные принципы и проблемы
de réir: Кумпф Ф. Фридрих
Foilsithe / Cruthaithe: (Москва, Политиздат, 1979)
de réir: Кумпф Ф. Фридрих
Foilsithe / Cruthaithe: (Москва, Политиздат, 1979)
Исследование логических систем
Foilsithe / Cruthaithe: (Москва, Наука, 1970)
Foilsithe / Cruthaithe: (Москва, Наука, 1970)
Программирование: математическая логика учебное пособие для вузов
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2022)
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2022)
Программирование: математическая логика учебное пособие для вузов
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2023)
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2023)
Программирование: математическая логика учебное пособие для вузов
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2024)
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2024)
Логические методы анализа и синтеза схем
de réir: Поспелов Д. А. Дмитрий Александрович
Foilsithe / Cruthaithe: (Москва, Энергия, 1974)
de réir: Поспелов Д. А. Дмитрий Александрович
Foilsithe / Cruthaithe: (Москва, Энергия, 1974)
Программирование: математическая логика учебник для вузов
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2026)
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2026)
Программирование: математическая логика учебник для вузов
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2025)
de réir: Швецкий М. В. Михаил Владимирович
Foilsithe / Cruthaithe: (Москва, Юрайт, 2025)
Míreanna comhchosúla
-
Прикладная логика информатики
de réir: Козачков Л. С. Лев Семенович
Foilsithe / Cruthaithe: (Киев, Наукова думка, 1990) -
Математическая логика и теория алгоритмов: учебное пособие
de réir: Шелупанов А. А. Александр Александрович
Foilsithe / Cruthaithe: (Томск, STT, 2001) -
Логика: учебное пособие для вузов
de réir: Ивин А. А. Александр Архипович
Foilsithe / Cruthaithe: (Москва, Высшая школа, 2004) -
Логика: Курс лекций
de réir: Тымцяс В. Г.
Foilsithe / Cruthaithe: (Москва, ПРИОР, 1999) -
Математическая логика: учебное пособие
de réir: Лавров И. А. Игорь Андреевич
Foilsithe / Cruthaithe: (Москва, Академия, 2006)