81.41Р    М 22     Мамонов, Вячеслав Анатольевич.     Практическая стилистика современного русского языка [Текст] / В. А. Мамонов, Д. Э. Розенталь. - Москва : Искусство, 1957. - 176 с. - Библиогр.: с. 172. - 20000 экз.. - 16.41.21 ББК 81.41Р-55 Рубрики: ЯЗЫКОЗНАНИЕ (ЛИНГВИСТИКА)--СЕМЬИ ЯЗЫКОВ--РУССКИЙ ЯЗЫК--ЛИНГВИСТИКА ТЕКСТА. ЛИНГВОСТИЛИСТИКА -- СТИЛИСТИКА Кл.слова (ненормированные): русский язык -- стилистика русского языка -- лексические средства языка -- фразеологические средства языка -- значение слова -- строение слова -- точность словоупотребления -- синонимы -- паронимы -- омонимы -- антонимы -- неправильное употребление приставок -- неправильное употребление суффиксов -- нарушение фонетических норм языка -- ясность лексики -- чистота лексики -- употребление профессиональной терминологии -- употребление научной терминологии -- профессиональная терминология -- научная терминология -- употребление иностранных слов -- иностранные слова -- архаизмы -- историзмы -- вульгаризмы -- жаргонизмы -- просторечные слова -- диалектизмы -- эвфемизмы -- канцеляризмы -- плеоназмы -- тавтологии -- неологизмы -- сложносокращенные слова -- идиомы -- пословицы -- поговорки -- крылатые выражения -- крылатые слова -- употребление разностильной лексики -- использование словарей -- словари -- грамматическая стилистика -- стилистика частей речи -- синтаксическая стилистика -- использование изобразительно-выразительных средств языка -- тропы (языкознание) -- метафоры -- метонимия -- синекдоха -- ирония -- антифраза -- сарказм -- гипербола -- литота -- аллегория -- олицетворение -- эпитеты -- сравнения -- фигуры (языкознание) -- антитеза -- градация -- риторические вопросы -- восклицания -- обращение -- параллелизм -- анафора -- многосоюзие -- бессоюзие -- эллипсис Доп.точки доступа: Розенталь, Дитмар Эльяшевич Экземпляры всего: 1 Ч.з.№2 (1) Свободны: Ч.з.№2 (1)

22.1    И 26     Игошин, Владимир Иванович.     Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 экз.. - ISBN 978-5-76954593-1 Рекомендовано Мин. образования 27.03 ББК 22.12 я73 Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления Экземпляры всего: 20 Аб. (20) Свободны: Аб. (20)

22.1    И 26     Игошин, Владимир Иванович.     Математическая логика и теория алгоритмов : учебное пособие для физико-математических специальностей пед. институтов / В. И. Игошин. - Саратов : Саратовский гос. педагогический институт им. К. А. Федина, 2001. - 256 с. - 5 000 экз.. - ISBN 5-292-00259-3 27.03 ББК 22.12 я73 Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления Экземпляры всего: 1 Аб. (1) Свободны: Аб. (1)