Анисов

Славянская мифология, энциклопедический словарь, Анисов Л.М., 1994

Славянская мифология, Энциклопедический словарь, Анисов Л.М., 1994.

Словарь «Славянская мифология» содержит статьи, посвященные сла­вянским богам и другим мифологическим персонажам, а также важнейшим символам, понятиям и объектам традиционной духовной культуры. Издание ориентировано преимущественно на восточнославянскую (русскую, украинскую, белорусскую) традицию; западно- и южнославянские материалы приводятся в статьях в качестве параллелей. Народная терминология и фразеология, а также фольклорные тексты представлены на диалектах русского, украинского и белорусского языков в соответствии с орфографией источников. Даты православного календаря чаще всего даются по старому стилю. Если они указаны по новому стилю, дается помета (н. ст.— новый стиль). Словарь содержит указатель имен, мифологических и фольклорных персонажей и словник.

Славянская мифология, Энциклопедический словарь, Анисов Л.М., 1994
Скачать и читать Славянская мифология, энциклопедический словарь, Анисов Л.М., 1994
 

Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990

Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990.
 
Логика является одним из важнейших источников развитии современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.

Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990
Скачать и читать Логика и компьютер, Моделирование рассуждений и проверка правильности программ, Алешина Н.А., Анисов А.М., Быстров П.И., 1990
 

Современная логика, Анисов А.М., 2002

Современная логика, Анисов А.М., 2002.

Книга является изложением основ логики для гуманитариев. К сожалению, приходится констатировать, что подавляющее большинство многочисленных написанных на русском языке пособий по логике для гуманитариев основное внимание уделяет рассмотрению так называемой традиционной логики, созданной ещё Аристотелем и взлелеянной средневековыми схоластами. Но традиционная логика безнадёжно устарела. В результате образовался недопустимый разрыв между уровнем логической науки, достигнутым в нашей стране, и учебной литературой по логике. Особенностью данной книги является то, что обсуждение логических проблем ведётся с позиций современной науки. Книга адресована всем желающим изучать современную логику, но в первую очередь в ней учтены интересы и запросы студентов, аспирантов и специалистов гуманитарных дисциплин.

Современная логика, Анисов А.М., 2002
Скачать и читать Современная логика, Анисов А.М., 2002