База данных: Электронная библиотека
Страница 2, Результатов: 80
Файл для загрузки:
Bulekbaev_Logika.pdf
Б83
Булекбаев, С. Б.
Логика [Электронный ресурс] : учебник / С. Б. Булекбаев, М. К. Надыров. - Алматы : [б. и.], 2011. - 215 с. - Б. ц. - Текст : непосредственный.
Рубрики: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
ТЕХНИКА
Кл.слова (ненормированные):
предметный логика -- историялогики -- основные законы логики -- умозаключения -- умозаключения
Доп.точки доступа:
Надыров, М.К.
Файл для загрузки:
Vereshagin_Vyshislimye_funk.pdf
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
Файл для загрузки:
Vereshagin_Lektsiy_matem_logike.pdf
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.1. Начала теории множеств / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 128 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
множества и мощности -- упорядоченные множества -- множества -- число -- элементы
Доп.точки доступа:
Шень, А.
Файл для загрузки:
Верещагин Н.К., Шень А._Языки и исчисления. изд-2_2002.pdf
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебник. Ч.2. Языки исчисления / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 2002. - 288 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
Файл для загрузки:
Vereshagin_Lektsiy_po_mat.pdf
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс] : учебно-методический комплекс. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : [б. и.], 1999. - 177 с. - Б. ц. - Текст : непосредственный.
Рубрики: Основания математики. Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- высшая математика -- вычислительные функции
Доп.точки доступа:
Шень, А.Ч.
Файл для загрузки:
23094_e4777495db02db55d2f1916e256572b1.pdf
В31
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций
Доп.точки доступа:
Шень, А.Ч.
Файл для загрузки:
Vereshagin_Yazyki_ischisleniya.pdf
В31
Верещагин, Н. К.
Языки исчисления [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 288 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
логика высказываний -- системы связок -- функциональный элемент -- исчисление высказываний -- языки первого порядка -- определение истинности -- арифметика Пресбургера -- теорема Тарского-Зайденберга -- исчисление предикатов -- теорема Эрбрана -- аксиома равенства -- полные теории
Доп.точки доступа:
Шень, А.
Файл для загрузки:
Vereshagin_Lektsiy_matem_logike_2008.pdf
В31
Верещагин, Н.
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств [Электронный ресурс] / Н. Верещагин, А. Шень. - Москва : [б. и.], 2008. - 128 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
эквивалентность -- теорема Кантора -- функции -- теорема Цермело -- ординалы -- изоморфизм -- арифметика -- Лемма Цорна -- элемент
Доп.точки доступа:
Шень, А.
Файл для загрузки:
Gagarina_Algoritmy.pdf
Г12
Гагарина, Л. Г.
Алгоритмы структуры данных [Электронный ресурс] : учебное пособие / Л. Г. Гагарина. - Москва : Финансы и статистика, 2009. - 304 с. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
МАТЕМАТИКА
АЛГОРИТМ
Кл.слова (ненормированные):
основы алгоритмизации -- структурная организация -- модели -- процессы -- сложности алгоритма -- методика поиска
Файл для загрузки:
Gilbert(logika).pdf
Г47
Гильберт, Д.
Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости
Доп.точки доступа:
Аккерман, В.
Страница 2, Результатов: 80