Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 91
Показаны документы с 1 по 20 |
|
1. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 51/Р 695
Автор(ы) : Романовский, Павел Игнатьевич
Заглавие : Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразование Лапласа
: учебное пособие
Выходные данные : Москва: Гостехиздат, 1957 Колич.характеристики :291 с.:
с черт.
Цена : 00.55, 00.55, р.
ГРНТИ : 27.03 УДК : 517(075.8) Предметные рубрики: Математика Ключевые слова (''Своб.индексиров.''): математика высшая--фурье ряды--лапласа преобразование
Экземпляры : всего : Х(1), АБУ(1) Свободны : Х(1), АБУ(1) Найти похожие
|
2. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 5/Х 204
Автор(ы) : Харин Н. Н.
Заглавие : Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
Выходные данные : Москва: Росвузиздат, 1963 Колич.характеристики :192 с
Примечания : Библиогр.: с. 191-192
Цена : 0.90 р.
ГРНТИ : 27.03.19 УДК : 510.22 Предметные рубрики: Естествознание Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--теория алгоритмов
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
3. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/М 340
Заглавие : Математическая теория логического вывода
: сборник переводов
Выходные данные : Москва: Наука, 1967 Колич.характеристики :351 с
Серия: Математическая логика и основания математики
Примечания : Библиогр. в конце ст.
Цена : 1.79, 1.79, р.
ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логического вывода теория--чисел теория чистая--эрбрана теорема
Экземпляры :АБН(1) Свободны : АБН(1) Найти похожие
|
4. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 624/В 145
Автор(ы) : Вайнберг, Давид Вениаминович, Ждан, Владимир Зотикович
Заглавие : Матричные алгоритмы в теории оболочек вращения
: научное издание
Выходные данные : Киев: Издательство Киевского университета, 1967 Колич.характеристики :164 с.:
ил.
Примечания : Библиогр.: с. 158-163
Цена : 0.49 р.
ГРНТИ : 27.03.17 УДК : 624.074.4 Предметные рубрики: Оболочки Ключевые слова (''Своб.индексиров.''): матричные алгоритмы--оболочки вращения
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
5. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 51/П 292
Автор(ы) : Петер, Роза
Заглавие : Игра с бесконечностью
Выходные данные : Москва: Молодая гвардия, 1967 Колич.характеристики :368 с.:
ил., рис.
Серия: Эврика
Цена : 0.93, 0.93, р.
ГРНТИ : 27.03 УДК : 51 Предметные рубрики: Математика-- основные вопросы --Венгрия, 20 в. Ключевые слова (''Своб.индексиров.''): математическая логика--математика для "чайников"
Экземпляры :АБН(1) Свободны : АБН(1) Найти похожие
|
6. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Р 293
Автор(ы) : Рвачев, Владимир Логинович
Заглавие : Геометрические приложения алгебры логики
Выходные данные : Киев: Технiка, 1967 Колич.характеристики :212 с.:
ил.
Примечания : Библиогр.: с. 207-209
Цена : 0.70 р.
ГРНТИ : 27.03 УДК : 510.63 Предметные рубрики: Логико-предметные теории Ключевые слова (''Своб.индексиров.''): алгебра логики
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
7. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Г 190
Автор(ы) : Ганджа, Леонид Ионович
Заглавие : Элементы математической логики. Алгебра логики
Выходные данные : Новосибирск, 1968 Колич.характеристики :89 с
Коллективы :
Министерство высшего и среднего специального образования РСФСР, Новосибирский электротехнический институт
Примечания : Библиогр.: с. 89
Цена : 0.40 р.
ГРНТИ : 27.03 УДК : 510.63 Предметные рубрики: Логико-предметные теории Ключевые слова (''Своб.индексиров.''): алгебра--логика
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
8. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Щ 346
Автор(ы) : Щегольков Е. А.
Заглавие : Упражнения и задачи по курсу математической логики
Выходные данные : М., 1971 Колич.характеристики :45 с
Коллективы :
Московский педагогический институт им. В. И. Ленина
Цена : 0.15 р.
ГРНТИ : 27.03.19 УДК : 510.6(076.1) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): логика математическая
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
9. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 512/Г 490
Автор(ы) : Гиндикин, Семен Григорьевич
Заглавие : Алгебра логики в задачах
Выходные данные : Москва: Наука, 1972 Колич.характеристики :288 с.:
ил.
Цена : 00.76, 00.76, р.
ГРНТИ : 27.03 УДК : 510.6(075) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): алгебра логики (функции)--функционально замкнутые классы--элементы вероятностной логики--многозначные логики--логика предикатов
Экземпляры : всего : Х(1), АБУ(5) Свободны : Х(1), АБУ(5) Найти похожие
|
10. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Многотомное издание Шифр издания : 519/А 456
Заглавие : Алгоритмы и программы для решения задач оптимизации: Сборник научных трудов/ Академия наук СССР. Сибирское отделение, Институт экономики и организации промышленного производства, Министерство приборостроения, средств автоматизации и систем управления союзсистемпром, Государственный научно-исследовательский институт автоматизированных систем планирования и управления. Ч. 3
Выходные данные : Новосибирск: Институт экономики и организации промышленного производства, 1972 Колич.характеристики :144 с.:
табл.
Коллективы : Академия наук СССР, Институт экономики и организации промышленного производства, Министерство приборостроения, средств автоматизации и систем управления союзсистемпром, Государственный научно-исследовательский институт автоматизированных систем планирования и управления
Серия:
Цена : 0.54 р.
ГРНТИ : 27.03.17 УДК : 519.852:004 Предметные рубрики: Теория вероятностей. Математическая статистика Ключевые слова (''Своб.индексиров.''): структурные ошибки--линейное программирование--узкоблочная матрица
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
11. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/М 268
Автор(ы) : Марков А. А., Шульц М. М.
Заглавие : Лекции по математической логике
: учебное пособие
Выходные данные : Горький: Горьковский университет, 1973 Колич.характеристики :58 с
Цена : 0.15 р.
ГРНТИ : 27.03 УДК : 510.6(075) Предметные рубрики: Математическая логика
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
12. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Ф 368
Автор(ы) : Фейс, Роберт
Заглавие : Модальная логика
: [учебник]
Выходные данные : Москва: Наука, 1974 Колич.характеристики :520 с.:
ил.
Серия: Математическая логика и основания математики
Примечания : Библиогр. в конце глав
Цена : 2.19, 2.19, р.
ГРНТИ : 27.03 УДК : 510.6(075) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): логика модальная
Экземпляры : всего : Х(1), АБУ(1) Свободны : Х(1), АБУ(1) Найти похожие
|
13. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Э 192
Автор(ы) : Эдельман, Самсон Львович
Заглавие : Математическая логика
: учебное пособие
Выходные данные : Москва: Высшая школа, 1975 Колич.характеристики :176 с
Примечания : Библиогр.: с.172 . - Предм. указ.: с. 173-176
Цена : 00.30, 00.30, р.
ГРНТИ : 27.03.19 УДК : 517.11(075.8) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): логика математическая
Экземпляры : всего : Х(1), АБУ(2) Свободны : Х(1), АБУ(2) Найти похожие
|
14. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/В 443
Автор(ы) : Виленкин Н. Я.
Заглавие : Индукция. Комбинаторика
: пособие для учителей
Выходные данные : Москва: Просвещение, 1976 Колич.характеристики :48 с
Цена : 0.10 р.
ГРНТИ : 27.03 УДК : 510.6(075) Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): индукция--комбинаторика
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
15. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/С 476
Автор(ы) : Слинин, Ярослав Анатольевич
Заглавие : Современная модальная логика : развитие теории алет. модальностей (1920-1960 гг.)
Выходные данные : Ленинград: Ленинградский государственный университет, 1976 Колич.характеристики :104 с
Цена : 0.44 р.
ГРНТИ : 27.03 УДК : 510.64 Предметные рубрики: Неклассические, формальные логические системы Ключевые слова (''Своб.индексиров.''): модальная логика
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
16. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 513/А 465
Автор(ы) : Александров, Павел Сергеевич (математик; 1896-1982)
Заглавие : Введение в теорию множеств и общую топологию
: учебное пособие
Выходные данные : Москва: Наука, 1977 Колич.характеристики :367 с
Цена : 1.10, 1.10, р.
ГРНТИ : 27.19.15 + 27.03.15 УДК : 515.12 + 510.22](075.8) Предметные рубрики: Топология Множеств теория Ключевые слова (''Своб.индексиров.''): теория множеств--топологические пространства--метризационные теоремы--компактность (математика)
Экземпляры : всего : Х(1), ЧЗЕ(1) Свободны : Х(1), ЧЗЕ(1) Найти похожие
|
17. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Многотомное издание Шифр издания : 519/А 456
Заглавие : Алгоритмы решения логико-комбинаторных задач: [Сборник статей]/ Академия наук Белорусской ССР, Институт технической кибернетики. Вып. 3
Выходные данные : Минск, 1977 Колич.характеристики :162 с
Коллективы : Академия наук Белорусской ССР, Институт технической кибернетики
Серия: Материалы по математическому обеспечению ЭВМ
Примечания : Библиогр. в конце ст.
Цена : 1.00 р.
ГРНТИ : 27.03.17 УДК : 519.15/6 Предметные рубрики: Теория вероятностей. Математическая статистика Ключевые слова (''Своб.индексиров.''): дискретные устройства--булевые функции
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
18. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 519/Н 597
Автор(ы) : Нешков, Константин Иванович, Пышкало, Анатолий Михайлович, Рудницкая, Виктория Наумовна
Заглавие : Множества. Отношения. Числа. Величины
Выходные данные : Москва: Просвещение, 1978 Колич.характеристики :63 с.:
ил.
Серия: Пособие для учителей
Примечания : Библиогр.: с. 61
Цена : 00.10 р.
ГРНТИ : 27.03.15 УДК : 510.22(072.3) Предметные рубрики: Теория множеств Ключевые слова (''Своб.индексиров.''): множеств теория (изучение в школе)--отношения (математика)--отношения (изучение в школе)--математика (методика преподавания)--математика (методические пособия)--методика преподавания математики
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
19. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517/Т 150
Автор(ы) : Такеути, Гаиси
Заглавие : Теория доказательств
Выходные данные : Москва: Мир, 1978 Колич.характеристики :412 с
Примечания : Предм. указ.: с. 406-410
Цена : 2.10, 2.10, р.
ГРНТИ : 27.03.19 УДК : 510.6 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--доказательств теория
Экземпляры : всего : Х(1), АБН(1) Свободны : Х(1), АБН(1) Найти похожие
|
20. ![](http://212.192.68.100/irbis64r_01/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 519/А 456
Заглавие : Алгоритмы решения логико-комбинаторных задач
: (Сборник научных задач)
Выходные данные : Минск: Институт технической кибернетики, 1979 Колич.характеристики :138 с
Коллективы :
Академия наук Белорусской ССР, Институт технической кибернетики
Цена : 1.30 р.
ГРНТИ : 27.03.17 УДК : 519.15/6 Предметные рубрики: Теория вероятностей. Математическая статистика Ключевые слова (''Своб.индексиров.''): булевые функции--троичные матрицы--комбинационные автоматы
Экземпляры :Х(1) Свободны : Х(1) Найти похожие
|
|
|