Значок книги

Задачи и упражнения по математической логике и теории алгоритмов В.И. Игошин

Сохранить в:

Библиографические подробности
Автор:	Игошин В. И.
Тип документа:	Книга
Язык:	Russian
Год издания:	Москва Academia 2006
Предметная рубрика:	Алгебра высказываний БУЛЕВЫ ФУНКЦИИ ПРЕДИКАТЫ Рекурсивные функции Маркова алгоритмы Тьюринга машины
Рубрика:	Теория
Ключевые слова:	Алгоритмы Теория Математическая логика

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

Математическая логика и теория алгоритмов
Автор: Игошин В. И.
Год издания: (2004)

Исследования по теории алгорифмов и математический логике
Год издания: (1979)

Исследования по теории алгорифмов и математический логике
Год издания: (1976)

Математическая логика и теория алгоритмов
Автор: Игошин В. И.
Год издания: (1991)

Математическая логика и теория алгоритмов
Автор: Кропачев
Год издания: (2013)

Задачник по математической логике
Автор: Горбатов В. А.
Год издания: (1972)

Математическая логика и алгоритмические проблемы
Год издания: (1989)

Упражнения по логике
Автор: Ивлев Ю. В.
Год издания: (1972)

Задачи и упражнения по логике
Автор: Яшин Б. Л.
Год издания: (1996)

Упражнения по логике
Год издания: (1990)

Основы теории алгоритмов и нумераций
Автор: Калядин Н. И.
Год издания: (2006)

Элементы теории алгоритмов
Автор: Варпаховский Ф. Л.
Год издания: (1970)

Теория алгоритмов и ее приложения
Год издания: (1989)

Основы теории элементарных алгоритмов
Автор: Косовский Н. К.
Год издания: (1987)

Элементы математической логики и теории множеств
Автор: Иляков В. А.
Год издания: (1973)

Элементы математической логики и теории множеств
Автор: Вольвачев Р. Т.
Год издания: (1986)

Задачи по логике
Автор: Богуславский В. М.
Год издания: (1948)

Актуальные вопросы математической логики и теории множеств
Год издания: (1975)

Теория алгоритмов
Автор: Алферова З. В.
Год издания: (1973)

Теория алгоритмов
Автор: Марков А. А.
Год издания: (1996)

Библиотека алгоритмов
Автор: Агеев
Год издания: (1981)

Теория информации и теория алгоритмов
Автор: Колмогоров А. Н.
Год издания: (1987)

Анализ программ для построения параллельных алгоритмов
Автор: Андреев В. В.
Год издания: (2009)

Основания математической логики
Автор: Карри Х. Б.
Год издания: (1969)

Математические методы построения и анализа алгоритмов
Год издания: (1990)

Задачник по курсу "Теория алгоритмов и программирование ЭВМ"
Год издания: (1977)

Первое знакомство с математической логикой
Автор: Депман И. Я.
Год издания: (1965)

Учебник по логике
Автор: Гетманова А. Д.
Год издания: (2000)

Элементы математической логики и некоторые алгебраические понятия
Автор: Ковригина Л. П.
Год издания: (1974)

Библиотека алгоритмов 51б-100б
Автор: Агеев
Год издания: (1976)

Библиотека алгоритмов 1б-50б
Год издания: (1975)

Исследования по неклассическим логикам и теории множеств
Год издания: (1979)

Построение и анализ вычислительных алгоритмов
Автор: Ахо А. В.
Год издания: (1979)

Краткий словарь по логике
Автор: Горский Д. П.
Год издания: (1991)

Современный словарь по логике
Год издания: (1999)

Логические упражнения по элементарной математике
Автор: Драбкина М. Е.
Год издания: (1965)

Дедуктивный синтез алгоритмов с учетом вычислительных ресурсов
Автор: Бельтюков А. П.
Год издания: (1993)

Математическая логика
Автор: Игошин В. И.
Год издания: (2012)

Введение в разработку и анализ алгоритмов
Автор: Гудман С.
Год издания: (1981)

О логике математической статистики
Автор: Левин А. Ю.
Год издания: (1989)