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

Базы данных


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

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

    Клини, С. К.
    Математическая логика [Текст] : научное издание / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - М. : Мир, 1973. - 480 с. ; 22 см. - Указ.: с. 471-478. - 2.50 р.
ГРНТИ
27.03
УДК
517.11

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ТЕОРИЯ МОДЕЛЕЙ -- СЧЕТНЫЕ МНОЖЕСТВА
Аннотация: Раскрывает основы математической логики, рекурсивные функции и основания математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Гастев, Ю. А.
Минц, Г. Е.
Найти похожие
2.

    Гастев, Ю. А.
    Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования [Текст] : научное издание / Ю. А. Гастев. - М. : Наука, 1975. - 150 с. ; 20 см. - Библиогр.: с. 137-146 (232 назв.). - 0.50 р.
ГРНТИ
12.51
УДК
001.57+16

Рубрики: Наука--Методология науки

Кл.слова (ненормированные):
ИЗОМОРФИЗМ -- АВТОМОРФИЗМ -- ЭНДОМОРФИЗМЫ -- ФАКТОРИЗАЦИЯ -- ТЕОРЕМА БАЙЕСА -- КОНЦЕПЦИИ -- АБСТРАКЦИЯ
Аннотация: Книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
3.

    Карри, Х. Б.
    Основания математической логики [Текст] / Х. Б. Карри ; под ред. Ю. А. Гастева ; пер. с англ. В. В. Донченко = Founbations of mathematical logic / H. B. Curry : научное издание. - М. : Изд-во "Мир", 1969. - 568 с. : ил. ; 22 см. - Библиогр.: с. 519-547. - 2.64 р.
Тит. л. парал. на англ. яз.
УДК
16

Кл.слова (ненормированные):
ФОРМАЛЬНЫЕ СИСТЕМЫ -- РЕЛЯЦИОННАЯ АЛГЕБРА -- ЭКВИВАЛЕНТНОСТИ СИСТЕМ -- КВАНТОРЫ -- МОДАЛЬНОСТИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Гастев, Ю.А.
Донченко, В. В.
Найти похожие
4.

    Фрейденталь, Х.
    Язык логики [Текст] / Х. Фрейденталь ; пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева = The language of logic / H. Freudenthal : научное издание. - М. : Изд-во "Наука", 1969. - 135 с. ; 20 см. - 0.49 р.
Тит. л. парал. на англ. яз.
УДК
510.6

Кл.слова (ненормированные):
МНОЖЕСТВА -- ОТОБРАЖЕНИЯ -- ВЫСКАЗЫВАНИЯ -- СУБЪЕКТ -- ПРЕДИКАТ -- ФОРМАЛЬНАЯ ЛОГИКА -- ЯЗЫК -- МЕТАЯЗЫК
Аннотация: В книге в доступной форме дается представление о логике, но также есть более углубленный раздел. Основы "языка логики" это тот язык на котором читатель мог бы и говорить за тем, не рискуя быть смешным, как всякий полузнайка ("запас слов" сознательно ограничен, но зато теперь читатель сможет, если захочет, смело пользоваться и более трудными "словарями" и "грамматиками"), и читать книги, написанные на этом языке.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Петров, Ю. А.
Гастев, Ю. А.
Найти похожие
5.

    Линдон, Р.
    Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; под ред. И. М. Яглома = Notes on logic / R. C. Lyndon : научное издание. - М. : Изд-во "Мир", 1968. - 127 с. ; 20 см. - (Современная математика = Van nostrand mathematical studies). - Библиогр.: с. 123 (20 назв.). - Указ.: с. 124-127. - 0.41 р.
Тит. л. парал. на англ. яз.
ГРНТИ
02.21
УДК
16

Рубрики: Философия--Логика

Кл.слова (ненормированные):
ГРАММАТИКА -- ТЕРМЫ -- ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА -- РАЗРЕШИМЫЕ ТЕОРИИ -- ЛОГИКА ПРЕДИКТОВ -- ТЕОРЕМА ДЕДУКЦИИ -- ТЕОРЕМА О НЕПРОТИВОРЕЧИВОСТИ -- ТЕОРЕМА АДЕКВАТНОСТИ
Аннотация: Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выявил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства он тем не менее нигде не ограничился одним описанием.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Гастев, Ю. А.
Яглом, И. М.
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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