Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Учебная литература - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Периодические издания (6)Научные публикации (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=формальная<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 65.012.1я73/Н90
Автор(ы) : Нуреев Р.М.
Заглавие : Курс микроэкономики : учеб. для вузов . -2-е изд., изм.
Выходные данные : М.: Норма, 2004
Колич.характеристики :560 с.: табл., рис.
ISBN, Цена 5-89123-470-Х: 166.00 р.
ГРНТИ : 06
ББК : 65.012.1я73
Ключевые слова (''Своб.индексиров.''): политическая экономия--меркантилисты--экономикс--кейнсианство--монетаризм--формальная логика--экономические модели--экономические эксперименты--рыночная система --потребители--экономические блага--фирма--конкуренция--монополия--рынок труда--риски--теорема коуза--бюрократия--рента--антимонопольное законодательство
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)

Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 87.4я7/К 60
Автор(ы) : Колмаков В. Ю.
Заглавие : Логические понятия в социальном исследовании : учеб. пособие для студ. спец. 350500 всех форм обучения
Выходные данные : Красноярск: СибГТУ, 2004
Колич.характеристики :31 с
Цена : Б.ц.
ГРНТИ : 02.21
ББК : 87.4я7
Ключевые слова (''Своб.индексиров.''): возникновение логики--античная--аристотелевская--школа софистов--формальная--логическая культура--виды понятий--социальное исследование
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)

Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 32.973-18я7/Е 42
Автор(ы) : Ездаков А. Л.
Заглавие : Функциональное и логическое программирование : учеб. пособие . -2-е изд.
Выходные данные : М.: БИНОМ. Лаборатория знаний, 2011
Колич.характеристики :119 с
ISBN, Цена 978-5-9963-0575-9: 166.00 р.
ГРНТИ : 20.53
ББК : 32.973-18я7
Ключевые слова (''Своб.индексиров.''): язык lisp--функциональное программирование--диалект common lisp--логическое программирование--формальная система--логика предикатов--резолюция--язык turbo-prolog
Экземпляры : всего 20: Аб(18), ЧЗ(2)
Свободны : Аб(18), ЧЗ(2)

Найти похожие
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)