| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=аксиоматизация<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Однотомное издание
Шифр издания : 681.3/Д 15
Автор(ы) : Дал У. , Дейкстра Э., Хоор К.
Заглавие : Структурное программирование : научное издание
Выходные данные : М.: Мир, 1975
Колич.характеристики :247 с. ; 22 см
Цена : 1.11 р.
ГРНТИ : 50.05
УДК : 681.3.06
Предметные рубрики: ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА-- ПРОГРАММИРОВАНИЕ
Ключевые слова (''Своб.индексиров.''): структурное программирование--рекурсивные методы--аксиоматизация
Аннотация: Рассмотрено систематическое изложение иерархических принципов в программировании.
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51/К 44
Автор(ы) : Киселева Н. А.
Заглавие : Математика и действительность : научное издание
Выходные данные : М.: Изд-во Моск. ун-та, 1967
Колич.характеристики :124 с. ; 21
Примечания : Библиогр.: с. 118-123 (149 назв.)
Цена : 0.48 р.
ГРНТИ : 02.31.31
УДК : 51:1
Предметные рубрики: Математика-- Философские проблемы математики
Ключевые слова (''Своб.индексиров.''): математическое познание--абстрагирование--идеализация--формализация--аксиоматизация--развитие математики--материализм--идеализм
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 81.2Фр-9
Автор(ы) : Мамудян М.
Заглавие : Лингвистика
Выходные данные : Москва: Прогресс, 1985
Колич.характеристики :200 с
Примечания : На русском языке
Цена : 0.95 р.
ББК : 81.2Фр-9
Предметные рубрики: Языкознание-- Романские языки
Ключевые слова (''Своб.индексиров.''): аксиоматизация--вариативность--выражения--высказывания--генеративная грамматика--гипотеза--глоссематика--дедукция--делимитативность--дескприптивная лингвистика--дефиниция--диахрония--дискурс--допущения--достижения--звуки--звуки языка--знаковая природа языка--знаковые единицы языка--идеи--индукция--интерпретация--коды--коммуникации--коммуникации языковые--концепты--лингвистика--лингвисты--модели--немотивированность--немотивированность языковая--общество--ограничения--опровержение--парадигма--перспективы--прагматизм--релевантность--семантика--семиотика--семиотические системы--синтагматика--синтаксис--теория--универсальность--универсальность языка--фонемы--фонология--французский язык--функции--функции языка--функциональная лингвистика--членение языка--эпистемологические проблемы лингвистики--эпистемология--язык и общество--языки--языковая структура--языковые коммуникации--языкознание
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Энгелер, Эрвин
Заглавие : Метаматематика элементарной математики : пер. с нем.
Выходные данные : Москва: Мир, 1987
Колич.характеристики :128 с.: ил.
Цена : 0-50
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиоматизация--алгоритмика--вещественные числа--вычислимость--вычислительное предписание--геометрия--комбинаторная логика--комбинаторные алгебры--комбинаторы--континуум--координатизация--ламбда-исчисление--основания математики--элементарная геометрия--элементарная математика
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)