Online courses directory (10358)

Lo que siempre debiste saber y nunca te supieron explicar del Inglés

Explore art history from the artist's perspective. Learn how contemporary artists, animators and gamers work from the art of the past as part of their creative process, while building your own skills in visual analysis and creative and critical thinking.

Learn about how your liver works, ways to look after it and how liver damage is caused, studied and treated around the world.

Health professionals and students, family caregivers, friends of and affected individuals, and others interested in learning about dementia and quality care will benefit from completing the course. Led by Drs. Nancy Hodgson and Laura Gitlin, participants will acquire foundational knowledge in the care of persons with Alzheimer’s Disease and other neurocognitive disorders in this 5-week course.

¿Ha escuchado muchas cosas sobre el genoma humano, pero desea entender los aspectos básicos que lo describen o lo explican? ¡Este es un curso para usted! Reconozca de forma amigable las generalidades del genoma humano, y sobre todo el impacto de su estudio.

Este curso es una introducción a la estructura y función del genoma humano, a partir de un contexto histórico y conceptual. Se revisará la aplicación actual del genoma humano, y algunas experiencias a partir de entrevista a expertos. Usted aprenderá ejemplos de estudio del genoma, e identificará la descripción multidisciplinar de su investigación y aplicación.

No requiere grandes conocimientos en biología molecular, podrá apoyarse en el material complementario del MOOC como el glosario de términos o los foros de discusión para comprender los conceptos.

How to sell domains and hosting to a huge market of local business for residual income.

So, what is localization? In the world of information technology, localization means translating and adapting a product or service to a particular language, culture, and geographic market. There are two main aspects to localization. The first one is stylistic: You have to make sure the language tone you use is appropriate for each local culture. There’s also a technical aspect: You may have to make changes to things like date and time formats, alphabetization, or even the direction of reading, to make them appropriate for the language you’re localizing into. So localization means more than just translating a message or text, it’s about making a whole product feel tailored to users everywhere. This need for localized content has made the language industry the 4th fastest growing industry in the world with a global size of an estimated $40 billion. More people across the globe are coming online, and they need to be able to use technology in a language they understand. That’s what localization is all about.

Part 1 of 3

Part 2 of 3

Part 3 of 3

Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is particularly crucial for these abstract disciplines. Logic systematizes and analyzes steps in reasoning: correct steps guarantee the truth of their conclusion given the truth of their premise(s); incorrect steps allow the formulation of counterexamples, i.e., of situations in which the premises are true, but the conclusion is false. Recognizing (and having conceptual tools for recognizing) the correctness or incorrectness of steps is crucial in order to critically evaluate arguments, not just in philosophy and mathematics, but also in ordinary life. This skill is honed by working in two virtual labs. In the ProofLab you learn to construct complex arguments in a strategically guided way, whereas in the TruthLab the emphasis is on finding counterexamples systematically. Who Should Take This Course? This is an introductory course designed for students from a broad range of disciplines, from mathematics and computer science to drama and creative writing. The highly interactive presentation makes it possible for any student to master the material. Concise multimedia lectures introduce each chapter; they discuss, in detail, the central notions and techniques presented in the text, but also articulate and motivate the learning objectives for each chapter. Open & Free Version The Open & Free, Logic & Proofs course includes the first five chapters of Logic & Proofs, providing a basic introduction to sentential logic. A full version of Logic & Proofs, including both sentential and predicate logic, is also available without technical or instructor support to independent users, for a small fee. No credit is awarded for completing either the Open & Free, Logic & Proofs course or the full, unsupported Logic & Proofs course. Academic Version Academic use of Logic & Proofs provides a full course on modern symbolic logic, covering both sentential and predicate logic, with identity. Optional suites of exams are available for use in academic sections.

Understanding how a computer "thinks" is one of the first steps to becoming an excellent computer programmer. A foundation in logic is crucial in developing this understanding. Mastering logic is more than learning a set of rules. It involves learning how to break problems into smaller chunks, figuring out how repeatable processes can save time and improve quality, and understanding how to organize problems into the right size.

In this course, you'll learn how to do all those things and use computers to make them easier. After all, logical tasks are what computers are best at doing!

This is not a programming course, but it will teach you how to approach critical thinking as both a lifestyle and an aide to better programming and testing.

Pablo Cobreros introduces the student to some themes in the philosophical literature about the sorites paradox and the Liar paradox as well as to some logical developments connected to them...

In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.

This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus; Tarski's theorem that the set of true sentence of a language isn't definable within that language; and Gödel's second incompleteness theorem, which says that no consistent system of axioms can prove its own consistency.

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

The class will cover quantitative techniques of Operations Research with emphasis on applications in transportation systems analysis (urban, air, ocean, highway, pick-up and delivery systems) and in the planning and design of logistically oriented urban service systems (e.g., fire and police departments, emergency medical services, emergency repair services). It presents a unified study of functions of random variables, geometrical probability, multi-server queueing theory, spatial location theory, network analysis and graph theory, and relevant methods of simulation. There will be discussion focused on the difficulty of implementation, among other topics.

The class will cover quantitative techniques of Operations Research with emphasis on applications in transportation systems analysis (urban, air, ocean, highway, pick-up and delivery systems) and in the planning and design of logistically oriented urban service systems (e.g., fire and police departments, emergency medical services, emergency repair services). It presents a unified study of functions of random variables, geometrical probability, multi-server queueing theory, spatial location theory, network analysis and graph theory, and relevant methods of simulation. There will be discussion focused on the difficulty of implementation, among other topics.

The class will cover quantitative techniques of Operations Research with emphasis on applications in transportation systems analysis (urban, air, ocean, highway, pick-up and delivery systems) and in the planning and design of logistically oriented urban service systems (e.g., fire and police departments, emergency medical services, emergency repair services). It presents a unified study of functions of random variables, geometrical probability, multi-server queueing theory, spatial location theory, network analysis and graph theory, and relevant methods of simulation. There will be discussion focused on the difficulty of implementation, among other topics.