Поисковый запрос: (<.>K=ЛОГИКА<.>) |
Общее количество найденных документов : 98
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа :
Шифр издания : Тх|7140/К52
Автор(ы) : Кметь А.Б.
Заглавие : Четырехзначная логика. Реализация операций.
Выходные данные : М.: Радио и связь, 1991
Колич.характеристики :97 c
Серия: Массовая б-ка инженера "Электроника"
Цена : 1.50 р.
УДК : Тх XII-2.1.2.1 + Тх XI-4.40
Предметные рубрики: Техника
Экземпляры :(1)
Свободны : (1)
Найти похожие
|
2.
|
Вид документа :
Шифр издания : Мт|3078/Л69
Автор(ы) : Алештна Н.А., Анисов А.М., Быстров П.И.
Заглавие : Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Выходные данные : М.: Наука, 1990
Колич.характеристики :239 с
Серия: Кибернетика - неограниченные возможности и возможные ограничения
Цена : 0.65 р.
УДК : Мт I-2 + Мт IX-5.0 + Мт X-0
Предметные рубрики: Математика
Экземпляры :(1)
Свободны : (1)
Найти похожие
|
3.
|
Вид документа : Многотомное издание
Шифр издания : 001|С-149/С 14
Автор(ы) : Сайфулаев Ш.
Заглавие : Эволюция и природа интеллекта, о природе нравственности и гениальности, об интеллектуальной и женской красоте, о примитивизме и заблуждениях человека: от Авиценны и Леонардо да Винчи, Шекспира и Ферма до Фрейда и Эйнштейна, Сталина, Сахарова и Собчака/ Ш. Сайфулаев. - (Красота природы и творений личности). Кн. 1: Философия и психология антропогенеза, интеллектуальное творчество с математикой и логика стратегического мышления
. Т. 2
Выходные данные : СПб.: Петр Великий, 2004
Колич.характеристики :1050 с
ISBN, Цена 5-86-617052-3: б/ц,
ББК : Ч 11 + Ч 213 + Ч 216
Предметные рубрики: Науковедение
Ключевые слова (''Своб.индексиров.''): культура--история науки--ученые; персоналии
Аннотация: Главной целью появления этих книг является желание передать соверщенство и гармонию истинных красот Мира.
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : Мт|1088/И88
Заглавие : Исследования по теории алгоритмов и математической логике
: Сборник работ. Т. 2
Выходные данные : М.: ВЦ АН СССР, 1976
Колич.характеристики :152 с.:
ил.; 22 см
Коллективы :
Вычислительный центр АН СССР
Примечания : Библиогр. в конце ст.
Цена : 0.59, р.
ББК : Мт I-1
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): алгоритмы--математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : Мт|1088/И88
Заглавие : Исследования по теории алгоритмов и математической логике
: Сборник работ. Т. 1
Выходные данные : М., 1973
Колич.характеристики :285 с.:
ил.; 22 см
Коллективы :
Вычислительный центр АН СССР
Примечания : Библиогр. в конце ст.
Цена : 1.12, р.
ББК : Мт I-1
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): алгоритмы--математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : Мт|1116/Н73
Автор(ы) : Новиков П.С.
Заглавие : Элементы математической логики
. -2-е изд., испр.
Выходные данные : М.: Наука , 1973
Колич.характеристики :400 с.:
ил.; 21 см
Серия: Математическая логика и основания математики
Цена : 1.43, р.
ББК : Мт I-2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : Мт|1171/Ф36
Автор(ы) : Фейс Р.
Заглавие : Модульная логика
: Пер. с англ.
Выходные данные : М.: Наука , 1974
Колич.характеристики :520 с.:
ил.
Серия: Математическая логика и основания математики
Примечания : Библиогр. в конце глав
Цена : 2.19, р.
ББК : Мт I-2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): модальная логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : Мт|1122/К96
Автор(ы) : Кушнер Б.А.
Заглавие : Лекции по конструктивному математическому анализу
Выходные данные : М.: Наука , 1973
Колич.характеристики :447 с.:
ил.; 21 см
Серия: Математическая логика и основания математики
Примечания : Библиогр.: с. 427-440
Цена : 1.60, р.
ББК : Мт VI-1
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): функции--конструктивная теория--математический анализ
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : Мт|916/И88
Заглавие : Исследования по конструктивной математике и математической логике IV
: Сборник статей
Выходные данные : Л.: Наука, Ленингр. отд-ние, 1971
Колич.характеристики :294 с.:
ил.
Серия: Записки науч. семинаров Ленингр. отд-ния Матем. ин-та им. В. А. Стеклова АН СССР "ЛОМИ"; Т. 20
Примечания : Библиогр. в конце ст.
Цена : 1.20, р.
ББК : Мт I-1.2
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): логика--конструктивная математика--математическая логика
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : Мт|728/П25
Автор(ы) : Пензов Ю.Е.
Заглавие : Элементы математической логики и теории множеств
Выходные данные : Саратов: Изд-во Сарат. ун-та, 1968
Колич.характеристики :143 с.:
ил.; 20 см
Примечания : Библиогр.: с. 141
Цена : 0.60, р.
ББК : Мт I-2 + Мт I-1
Предметные рубрики: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): математическая логика--теория множеств
Экземпляры :ФТИ(1)
Свободны : ФТИ(1)
Найти похожие
|
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК