Виды поиска
Стандартный Расширенный Профессиональный Словарь
Навигаторы
ГРНТИ УДК Тезаурус
База данных
|
Формат представления найденных документов: | ||
полный | информационный | краткий |
Общее количество найденных документов : 7 Показаны документы с 1 по 7 |
1. | 51
Кл.слова (ненормированные): алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 3 ОХФ; 3, 3 (3) Свободны: ОХФ; 3, 3 (3) |
2. | 51
Кл.слова (ненормированные): множества -- отношения -- функции -- бинарные отношения -- математическая логика -- предикаты -- машины Тьюринга -- нумерации Клини и Поста Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 10 ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9) Свободны: ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9) |
3. | 811.111
Кл.слова (ненормированные): семантическая структура предложения -- семантика словесных форм -- смысловые отношения -- синтаксические формы -- предикативные отношения Аннотация: В монографии на материале современного английского языка рассматриваются общие закономерности отражения некоторых содержательных отношений (пространственных, родовидовых, временных и др.) на разных уровнях языка — грамматическом, лексическом и словообразовательном. Исследование выполнено в русле направления грамматической семантики и с учетом взаимосвязи языкового и мыслительного аспектов содержательной стороны языка, с использованием понятия узуального смысла и понятийной категории, а также понятия специализированного микропроцесса как единства языковой формы и мыслительной логической операции. Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Экземпляры всего: 2 ОХФ (2) Свободны: ОХФ (2) |
4. | Рубрики: ГУМАНИТАРНЫЕ НАУКИ. РЕЛИГИЯ. ИСКУССТВО--Филологические науки Перейти: http://znanium.com/go.php?id=513729 Свободных экз. нет |
5. | Рубрики: ГУМАНИТАРНЫЕ НАУКИ. РЕЛИГИЯ. ИСКУССТВО--Филологические науки Перейти: http://znanium.com/go.php?id=513731 Свободных экз. нет |
6. | Рубрики: ГУМАНИТАРНЫЕ НАУКИ. РЕЛИГИЯ. ИСКУССТВО--Филологические науки Перейти: http://znanium.com/go.php?id=513823 Свободных экз. нет |
7. | 45.00.00 К 56 Рубрики: ГУМАНИТАРНЫЕ НАУКИ. РЕЛИГИЯ. ИСКУССТВО--Филологические науки Перейти: http://znanium.com/go.php?id=961990 Свободных экз. нет |