Tweet
Originally posted by Asher
Hopefully I can fit some philosphy courses in over the summer.
-
Hopefully I can fit some philosphy courses in over the summer.
Rethink Refuse Reduce Reuse
Do It Ourselves -
english 101
intermediate algebra"I hope I get to punch you in the face one day" - MRT144, Imran Siddiqui
'I'm fairly certain that a ban on me punching you in the face is not a "right" worth respecting." - loinburgerComment
-
Porn star english?
---> oh baby HARDER!
Porn star algebra?
---> You have 3 guys and 5 girls in a scene, each girl (except for one) has two orifices..."The issue is there are still many people out there that use religion as a crutch for bigotry and hate. Like Ben."
Ben Kenobi: "That means I'm doing something right. "Comment
-
I'm too old to be taking courses but if I were Kuci's age (maybe a bit older) and going to Carnegie-Mellon, a few courses (in the Filosophy dept!) that I'd be looking at are:
CM is may well be the only university in the world whose Philosophy dept offers a course in Category Theory (I haven't looked but the only other one that comes to mind is McGill).80-314 Logic in Artificial Intelligence Spring: 9 units
An introduction to several formalisms used in knowledge representation and database theory. The emphasis is placed on nonmonotonic logic, conditional logic and belief revision methods. We will also study recent issues in the logics of knowledge and belief and consider applications in distributed AI. Several methodological problems in AI are discussed.
80-317 Constructive Logic Intermittent: 9 units
This multidisciplinary junior-level course is designed to provide a thorough introduction to modern constructive logic, its roots in philosophy, its numerous applications in computer science, and its mathematical properties. Some of the topics to be covered are intuitionistic logic, inductive definitions, functional programming, type theory, realizability, connections between classical and constructive logic, decidable classes. Prerequisites: 15151 or 15211 or 15212 or 80210 or 80211
80-413 Category Theory Spring: 9 units
Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines. Prerequisites: one course in logic or algebra
80-520 Categorical Logic Fall: 9 units
This course focuses on applications of category theory in logic and computer science. A leading idea is functorial semantics, according to which a model of a logical theory is a set-valued functor on a category determined by the theory. This gives rise to a syntax-invariant notion of a theory and introduces many algebraic methods into logic, leading naturally to the universal and other general models that distinguish functorial from classical semantics. Such categorical models occur, for example, in denotational semantics. e.g. treating the lambda-calculus via the theory of Cartesian closed categories. Similarly, higher-order logic is treated categorically by the theory of topoi. Note: this course will begin with a 3 week refresher of basic category theory
-CS students can start after immigration by reviewing on their own.
On another topic, I have to ask:
Can you give an opinion on short and medium term world-wide demand for sodium chlorate (I own some shares in a troubled company that produces the stuff).Originally posted by Chemical Ollie
I need to take some courses in Portugese if I want to stay in the paper business.
Within 10 years from now, the business will mostly have moved from US and Europe to Brazil. At least the hardwood part of the business, which is the part I know best.Comment
-
exactlyOriginally posted by Asher
Porn star english?
---> oh baby HARDER!
Porn star algebra?
---> You have 3 guys and 5 girls in a scene, each girl (except for one) has two orifices..."I hope I get to punch you in the face one day" - MRT144, Imran Siddiqui
'I'm fairly certain that a ban on me punching you in the face is not a "right" worth respecting." - loinburgerComment
-
Next semester I'm taking:
Econometrics (half)
That's all
The easiest term I'll ever have at uni. I only have two courses left to take and econometrics is spread over Autumn and Spring terms. Then it's Economics Decisions within the Firm in Spring and exams in Summer term.
Smile
For though he was master of the world, he was not quite sure what to do next
But he would think of something
"Hm. I suppose I should get my waffle a santa hat." - KuciwalkerComment
-
I'd love to see the extent of your artistic abilities pudding.Originally posted by Provost Harrison
I have to second Asher's laugh I thought you go to university to study and learn a vast field of knowledge, not to fanny around with paint...I did that at primary school.
My final year starts in September and sees me taking:
Biomembranes: Structures and Dynamics
Molecular Enzymology
Cellular Signalling
Infection and Immunity
Genome Biology
and my six week research project/dissertationExult in your existence, because that very process has blundered unwittingly on its own negation. Only a small, local negation, to be sure: only one species, and only a minority of that species; but there lies hope. [...] Stand tall, Bipedal Ape. The shark may outswim you, the cheetah outrun you, the swift outfly you, the capuchin outclimb you, the elephant outpower you, the redwood outlast you. But you have the biggest gifts of all: the gift of understanding the ruthlessly cruel process that gave us all existence [and the] gift of revulsion against its implications.
-Richard DawkinsComment
Comment