Логика_Пособие_для_учителей_1954_Кондаков.djvu
13.4 MB
Логика. Пособие для учителей [1954] Кондаков
Настоящее, второе издание, предпринятое Учпедгизом, имеет целью дать учителям, а также студентам доступное пособие по логике. К сожалению, и советская школа имела свои недостатки. По непонятной причине из курса средней школы в 60-х был выкинут очень полезный предмет, которого так не хватает многим в обычной жизни. Это -- Логика.
Настоящее, второе издание, предпринятое Учпедгизом, имеет целью дать учителям, а также студентам доступное пособие по логике. К сожалению, и советская школа имела свои недостатки. По непонятной причине из курса средней школы в 60-х был выкинут очень полезный предмет, которого так не хватает многим в обычной жизни. Это -- Логика.
👍2
Введение в логику [1967] Кондаков.djvu
6.8 MB
Введение в логику [1967] Кондаков
В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики. Поскольку в настоящее время в логике все более широко применяются математические методы и специальный аппарат математической логики, постольку в книге даны статьи, разъясняющие исходные термины, символы, правила и законы этой науки. В книгу включены также статьи о некоторых понятиях диалектико-материалистическои теории познания и диалектической логики.
В данной книге кратко и доступно для начинающих изучение логики излагаются основные законы, правила, методы и термины традиционной логики. Поскольку в настоящее время в логике все более широко применяются математические методы и специальный аппарат математической логики, постольку в книге даны статьи, разъясняющие исходные термины, символы, правила и законы этой науки. В книгу включены также статьи о некоторых понятиях диалектико-материалистическои теории познания и диалектической логики.
👍5
Логический_словарь_справочник_1975_Кондаков.pdf
41.4 MB
Логический словарь-справочник [1975] Кондаков
Словарь содержит более трех тысяч статей, в которых на уровне достижений современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении их в повседневной практике мышления, в процессе самообразования и учебных занятий, в спорах и дискуссиях, в научно-исследовательской деятельности, в электронно-вычислительной технике. Значительная часть словаря посвящена статьям об основных понятиях таких смежных с логикой научных дисциплин, как математика, кибернетика, языкознание, психология, информация, методология, риторика. В словаре дан необходимый минимум статей по теории познания марксистско-ленинской философии. В статьях словаря широко представлены история логики, биографические очерки об отечественных и зарубежных логиках.
Словарь содержит более трех тысяч статей, в которых на уровне достижений современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении их в повседневной практике мышления, в процессе самообразования и учебных занятий, в спорах и дискуссиях, в научно-исследовательской деятельности, в электронно-вычислительной технике. Значительная часть словаря посвящена статьям об основных понятиях таких смежных с логикой научных дисциплин, как математика, кибернетика, языкознание, психология, информация, методология, риторика. В словаре дан необходимый минимум статей по теории познания марксистско-ленинской философии. В статьях словаря широко представлены история логики, биографические очерки об отечественных и зарубежных логиках.
👍4
Математическая_логика_и_автоматическое_доказательство_теорем_1983.pdf
56 MB
Математическая логика и автоматическое доказательство теорем [1983] Чень, Ли
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
👍1
Forwarded from Репетитор IT men
Данная задача взята из конкурса Кенгуру-2020
AB - диаметр круга. От точки А до точки B нарисован зигзаг. Все указанные углы α равны. Чему равен угол α ?
💡 Подробное решение задачи
AB - диаметр круга. От точки А до точки B нарисован зигзаг. Все указанные углы α равны. Чему равен угол α ?
💡 Подробное решение задачи
👍1
Algorithms for Decision Making [2022] Mykel J. Kochenderfer, Tim A. Wheeler, Kyle H. Wray
RU: Алгоритмы принятия решений
💾 Скачать книгу
Fundamental to this textbook are the algorithms, which are all implemented in the Julia programming language. We have found the language to be ideal for specifying algorithms in human readable form. The priority in the design of the algorithmic implementations was interpretability rather than efficiency. Industrial applications, for example, may benefit from alternative implementations. Permission is granted, free of charge, to use the code snippets associated with this book, subject to the condition that the source of the code is acknowledged.
RU: Алгоритмы принятия решений
💾 Скачать книгу
Fundamental to this textbook are the algorithms, which are all implemented in the Julia programming language. We have found the language to be ideal for specifying algorithms in human readable form. The priority in the design of the algorithmic implementations was interpretability rather than efficiency. Industrial applications, for example, may benefit from alternative implementations. Permission is granted, free of charge, to use the code snippets associated with this book, subject to the condition that the source of the code is acknowledged.
👍1
Algorithms_for_Decision_Making_2022_Mykel_J_Kochenderfer,_Tim_A.pdf
8 MB
Algorithms for Decision Making [2022] Mykel J. Kochenderfer, Tim A. Wheeler, Kyle H. Wray
This book provides a broad introduction to algorithms for decision making under uncertainty. We cover a wide variety of topics related to decision making, introducing the underlying mathematical problem formulations and the algorithms for solving them. Figures, examples, and exercises are provided to convey the intuition behind the various approaches. This text is intended for advanced undergraduates and graduate students as well as professionals. The book requires some mathematical maturity and assumes prior exposure to multivariable calculus, linear algebra, and probability concepts. Some review material is provided in the appendix. Disciplines where the book would be especially useful include mathematics, statistics, computer science, aerospace, electrical engineering, and operations research.
This book provides a broad introduction to algorithms for decision making under uncertainty. We cover a wide variety of topics related to decision making, introducing the underlying mathematical problem formulations and the algorithms for solving them. Figures, examples, and exercises are provided to convey the intuition behind the various approaches. This text is intended for advanced undergraduates and graduate students as well as professionals. The book requires some mathematical maturity and assumes prior exposure to multivariable calculus, linear algebra, and probability concepts. Some review material is provided in the appendix. Disciplines where the book would be especially useful include mathematics, statistics, computer science, aerospace, electrical engineering, and operations research.
👍2
Железо_Факты_и_легенды_1988_Беккерт.djvu
4.7 MB
Железо. Факты и легенды [1988] Беккерт
В книге популярно и занимательно рассказывается о железе — фундаменте современной цивилизации. Настоящее и будущее ядерной энергетики, химической технологии, электроники, освоение космоса возможны только при использовании этого замечательного металла. «Век железа», насчитывающий немногим более 3,5 тысяч лет, еще не закончился, напротив, он лишь в расцвете своих могучих сил. Для широкого круга читателей.
В книге популярно и занимательно рассказывается о железе — фундаменте современной цивилизации. Настоящее и будущее ядерной энергетики, химической технологии, электроники, освоение космоса возможны только при использовании этого замечательного металла. «Век железа», насчитывающий немногим более 3,5 тысяч лет, еще не закончился, напротив, он лишь в расцвете своих могучих сил. Для широкого круга читателей.
👍3
Задачник_+_учебник_по_черчению_и_перспективе.zip
39.8 MB
Задачник по черчению и перспективе [1988] Соловьев, Буланже
Задачник составлен в соответствии с программой по курсу «Черчение и перспектива» для средних художественных и художественно-промышленных училищ и представляет вместе с изданным в 1982 г.
теми же авторами учебником единый учебный комплект. В данном издании (1-е изд. — в 1978 г.) значительно увеличен объем раздела «Линейная перспектива», включены проблемные задачи и материал, способствующий развитию творческой инициативы учащихся.
Черчение и перспектива [1982] Соловьев, Буланже
В учебник включен материал, охватывающий три раздела программы: геометрическое и проекционное черчение, линейная перспектива. В данном издании (первое вышло в 1967 г.) особое внимание обращено на связь перспективы с предметами изобразительного искусства, анализ перспективного построения рисунков предметов, выполненных с натуры. Предназначается для учащихся художественно-промышленных училищ и училищ прикладного искусства.
Задачник составлен в соответствии с программой по курсу «Черчение и перспектива» для средних художественных и художественно-промышленных училищ и представляет вместе с изданным в 1982 г.
теми же авторами учебником единый учебный комплект. В данном издании (1-е изд. — в 1978 г.) значительно увеличен объем раздела «Линейная перспектива», включены проблемные задачи и материал, способствующий развитию творческой инициативы учащихся.
Черчение и перспектива [1982] Соловьев, Буланже
В учебник включен материал, охватывающий три раздела программы: геометрическое и проекционное черчение, линейная перспектива. В данном издании (первое вышло в 1967 г.) особое внимание обращено на связь перспективы с предметами изобразительного искусства, анализ перспективного построения рисунков предметов, выполненных с натуры. Предназначается для учащихся художественно-промышленных училищ и училищ прикладного искусства.
👍2
Начала органической химии [2 книги][1969 - 1970] Несмеянов
💾 Скачать книгу
«Начала органической химии» могут служить как для самостоятельного знакомства с предметом, так и для изучения его в университетах и химических вузах. Книга будет несомненно интересна и для аспирантов, преподавателей, молодых ученых и инженеров, работающих в области органической химии.
💾 Скачать книгу
«Начала органической химии» могут служить как для самостоятельного знакомства с предметом, так и для изучения его в университетах и химических вузах. Книга будет несомненно интересна и для аспирантов, преподавателей, молодых ученых и инженеров, работающих в области органической химии.
👍2
Начала_органической_химии_2_книги1969_1970_Несмеянов_.zip
49.9 MB
Начала органической химии [2 книги][1969 - 1970] Несмеянов
Руководство предназначено для первоначального систематического изучения органической химии. Его объем несколько шире программы химических специальностей университетов. Первая часть руководства построена по «классической схеме»; вторая часть, скорее, предназначена для внимательного прочтения, чем для глубокого изучения. В книгу I вошли разделы первой части — введение, алифатический ряд и алициклы, в книгу II — ароматический ряд, гетероциклы и вся вторая часть. Элементарные сведения по тем разделам, которые во второй части развиты в целые главы, имеются и в первой части книги, в которую включены также сведения о методах физического исследования и понятия о химической связи.
Руководство предназначено для первоначального систематического изучения органической химии. Его объем несколько шире программы химических специальностей университетов. Первая часть руководства построена по «классической схеме»; вторая часть, скорее, предназначена для внимательного прочтения, чем для глубокого изучения. В книгу I вошли разделы первой части — введение, алифатический ряд и алициклы, в книгу II — ароматический ряд, гетероциклы и вся вторая часть. Элементарные сведения по тем разделам, которые во второй части развиты в целые главы, имеются и в первой части книги, в которую включены также сведения о методах физического исследования и понятия о химической связи.
❤🔥2👍1
Система тренировочных задач и упражнений по математике [1991] Симонов, Бакаев, Эпельман
💾 Скачать книгу
💾 Скачать книгу
👍1
Система_тренировочных_задач_и_упражнений_по_математике_1991_Симонов.djvu
2.8 MB
Система тренировочных задач и упражнений по математике [1991] Симонов, Бакаев, Эпельман
В сборник включено более 2000 задач и упражнений по всем основным разделам школьного курса математики. Каждый раздел начинается с краткого изложения соответствующего теоретического материала и разбора наиболее типичных примеров по данной теме. Задачи разделены по сложности на две группы — А и Б. Книга будет полезна учащимся для самостоятельной работы в течение учебного года, при подготовке к выпускным и вступительным экзаменам, а также может быть использована учителем математики для организации индивидуальной работы в классе.
В сборник включено более 2000 задач и упражнений по всем основным разделам школьного курса математики. Каждый раздел начинается с краткого изложения соответствующего теоретического материала и разбора наиболее типичных примеров по данной теме. Задачи разделены по сложности на две группы — А и Б. Книга будет полезна учащимся для самостоятельной работы в течение учебного года, при подготовке к выпускным и вступительным экзаменам, а также может быть использована учителем математики для организации индивидуальной работы в классе.
👍1
Expert_Swift_1st_Edition_2021_Ehab_Amer,_Marin_Bencevic,_Ray_Fix.pdf
38.2 MB
Expert Swift (1st Edition) [2021] Ehab Amer, Marin Bencevic, Ray Fix
Master the Swift language with the Expert Swift book! Swift is a rich language with a plethora of features to offer. Reading the official documentation or entry-level books is important, but it’s not enough to grasp the true power of the language. Expert Swift is here to help, by showing you how to harness the full power of Swift. You’ll learn about advanced usages of protocols, generics, functional reactive programming, API design and more.
Master the Swift language with the Expert Swift book! Swift is a rich language with a plethora of features to offer. Reading the official documentation or entry-level books is important, but it’s not enough to grasp the true power of the language. Expert Swift is here to help, by showing you how to harness the full power of Swift. You’ll learn about advanced usages of protocols, generics, functional reactive programming, API design and more.
👍1
Старинные_задачи_по_элементарной_математике_1978_Чистяков.pdf
15.7 MB
Старинные задачи по элементарной математике [1978] Чистяков
Сборник старинных задач, включающий задачи Вавилона, Египта, Греции, Китая, Индии, арабские и русские задачи, а также задачи Западной Европы. Состоит из двух частей: первая — тексты задач, вторая — исторические экскурсы, решения и указания. Может быть полезен учащимся и учителям, а также всем, кто интересуется математикой и ее историей.
Сборник старинных задач, включающий задачи Вавилона, Египта, Греции, Китая, Индии, арабские и русские задачи, а также задачи Западной Европы. Состоит из двух частей: первая — тексты задач, вторая — исторические экскурсы, решения и указания. Может быть полезен учащимся и учителям, а также всем, кто интересуется математикой и ее историей.
👍1🔥1
Язык программирования C++. Краткий курс [2019] Бьярне Страуструп
💾 Скачать книгу
Программисты на C++ — от стершего пальцы о клавиатуру профессионала до только начинающего учиться этому замечательному языку школьника — всегда с нетерпением ждут выхода в свет новых книг серии C++ In-Depth. С еще большим нетерпением они ждут выхода книг Бьярне Страуструпа, который известен как автор не только замечательного языка программирования, но и замечательных книг.
#cplusplus #c #си #cpp #программирование
💾 Скачать книгу
Программисты на C++ — от стершего пальцы о клавиатуру профессионала до только начинающего учиться этому замечательному языку школьника — всегда с нетерпением ждут выхода в свет новых книг серии C++ In-Depth. С еще большим нетерпением они ждут выхода книг Бьярне Страуструпа, который известен как автор не только замечательного языка программирования, но и замечательных книг.
#cplusplus #c #си #cpp #программирование
👍1