История и методология информатики и вычислительной техники: Учебное пособие: В 2 ч./

История и методология информатики и вычислительной техники: Учебное пособие: В 2 ч./ Ч. 2

Библиографическая информация
Другие авторы:	Боровской, И. Г. Игорь Георгиевич (Редактор)
Формат:	Книга
Публикация:	Томск: ТУСУР 2007
Предметы:	учебные пособия информатика вычислительная техника история методология аксиоматика математическая логика теория алгоритмов логика предикатов мультимедиа искусственный интеллект
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

История и методология информатики и вычислительной техники: Учебное пособие/
Публикация: (2006)

Логика и компьютер моделирование рассуждений и проверка правильности программ
Публикация: (1990)

Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов/
по: Шапорев, С. Д. Сергей Дмитриевич
Публикация: (2005)

Справочное руководство по основам информатики и вычислительной техники
по: Шрайберг, Яков Леонидович 1952-
Публикация: (1990)

Математическая логика и теория алгоритмов: Учебное пособие для вузов/
по: Зюзьков, В. М. Валентин Михайлович, et al.
Публикация: (2007)

Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
по: Гринченков, Дмитрий Валерьевич
Публикация: (2010)

Математическая логика и теория алгоритмов для программистов [учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"]
по: Гринченков, Дмитрий Валерьевич
Публикация: (2017)

Collected works
по: Goedel, Kurt
Публикация: (2001)

Основы информатики и вычислительной техники Тексты лекций
по: Макарова, Наталья Владимировна, et al.
Публикация: (1995)

Основы информатики и вычислительной техники: Учебное пособие/
по: Громов, А. И., et al.
Публикация: (1991)

Основы информатики и вычислительной техники: Пробное Учебное пособие для сред. учеб. заведений. В 2 ч..
Публикация: (1985)

Программные средства вычислительной техники толковый терминологический словарь-справочник
Публикация: (1990)

Основы медицинской информатики и вычислительной техники: межкафедральная программа для студентов медицинских институтов/
Публикация: (1986)

Справочное руководство по основам информатики и вычислительной техники/
по: Шрайберг, Я. Л. Яков Леонидович, et al.
Публикация: (1990)

Конспект лекций по дискретной математике. С упражнениями и контрольными работами: /
по: Галушкина, Ю. И. Юлия Ивановна, et al.
Публикация: (2007)

Изучение основ информатики и вычислительной техники пособие для учителя
Публикация: (1992)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
по: Зюзьков, Валентин Михайлович
Публикация: (2007)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов/
по: Игошин, В. И. Владимир Иванович
Публикация: (2008)

Сборник задач по математической логике и теории алгоритмов: учебное пособие/
по: Игошин, В. И. Владимир Иванович
Публикация: (2019)

Математическая логика курс лекций : задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2009)

Математическая логика курс лекций, задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2008)

Основы информатики и вычислительной техники Пробный учебник для 10-11 кл. сред. школы
по: Гейн, Александр Георгиевич, et al.
Публикация: (1993)

Математическая логика курс лекций и практических занятий : [учебное пособие для студентов вузов, обучающихся по специальности 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"]
по: Шапорев, Сергей Дмитриевич
Публикация: (2005)

Информатика: Учебное пособие/
по: Фефелов, Н. П. Николай Петрович
Публикация: (2005)

Основы информатики и вычислительной техники пробный учебник для сред. учеб. заведений
по: Кушниренко, Анатолий Георгиевич
Публикация: (1991)

Введение в математическую логику
по: Мендельсон, Эллиот
Публикация: (1984)

Дискретная математика для инженеров учебное пособие для студентов высших учебных заведений, обучающихся по специальности 080801 - "Прикладная информатика (по областям)" и другим экономическим специальностям
по: Пономарев, Вениамин Федорович
Публикация: (2009)

Информатика: Энциклопедический словарь для начинающих/
Публикация: (1994)

Основы информатики и вычислительной техники Учебное пособие для учащихся средних специальных учебных заведений
по: Алтухов, Евгений Викторович
Публикация: (1992)

Основы информатики и вычислительной техники Пробный учебник для средних учебных заведений
по: Кушниренко, Анатолий Георгиевич
Публикация: (1993)

Экспертные системы САПР [учебное пособие для студентов вузов, обучающихся по направлению 230100 "Информатика и вычислительная техника"]
по: Ездаков, Андрей Леонидович
Публикация: (2013)

Einstieg in die mathematische Logik
по: Boehme, Gert
Публикация: (1981)

Основы информатики и вычислительной техники Учебное пособие
Публикация: (1991)

Основы информатики и вычислительной техники пробный учебник для 10-11 классов средней школы
Публикация: (1994)

Актуальные вопросы информатики, автоматизации и вычислительной техники [сборник докладов конференции, 12-14 декабря 1988 г.
Публикация: (1989)

Элементарное введение в математическую логику Пособие для учителей
по: Столяр, Абрам Аронович
Публикация: (1965)

Логический подход к искусственному интеллекту От классической логики к логическому программированию
Публикация: (1990)

Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
по: Крупский, Владимир Николаевич
Публикация: (2013)

Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ

Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
по: Харин, Николай Никитич
Публикация: (1963)