If you're a CS person and you've ever wondered why formal logic matters to you, here are two answers that I've found so far.
First, logic is useful in type theory, via the Curry-Howard isomorphism. Unfortunately, the meaning of "useful" here is pretty weak, since most type systems, even the advanced ones, aren't really capable of saying anything that's very interesting from a logic point of view. But we'll get there. In the meantime, look at proof assistants like Coq and languages with dependent types like Epigram.
Second, logic is useful in complexity theory, via descriptive complexity. If you ever find yourself thinking about things like non-finite-state model checking, or knowledge representation, or various other AI-ish topics, then descriptive complexity can serve as a quick cheat sheet for thinking about what the consequences would be if you added a new level of expressiveness or power to your system.
If you know of other applications for logic in CS, please share by adding a comment.
Posted on June 7, 2006 08:50 PM
More languages articles
Here are some more examples off the top of my head:
-- Authentication in computer systems (e.g., BAN logic).
-- Software verification (in progress...)
-- Hardware verification.
-- Verifying complex network configurations (also in progress...)
Posted by: Hari Balakrishnan at August 4, 2006 07:40 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:30 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:31 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:31 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:31 AMUgg
Ugg Boots
Cheap Ugg
New Ugg Boots
Ugg Boot
Ugg Classic Boots
Cheap Ugg Boots
Uggs on sale
Uggs
Ugg Boots
Cheap Ugg Boots
Ugg Classic Boots
Ugg Boots Sale
Supra Shoes
Mens Supra Cruizer Shoes ---Special
Men's Supra Cruizer Red Shoes
Mens Supra Cruizer Cool Shoes
Mens Supra Cruizer Shoes --Charming
Mens Supra Cruizer Pure black Shoes
Mens Supra Cruizer Shoes --Leisure
Man's Supra Cruizer Shoes
Men's Supra Muska Skytop Shoes
Men's Supra Skateboarding Shoes
Men's Supra Strapped Shoes
Men's Supra Suprano High Shoes
Women's Supra Muska Skytop Shoes
cheap ugg boots sale
uggs classic mini sale
UGG Ultra Tall Boots
Cheap Ugg Boots
UGG Classic Tall Boots
UGG Classic Cardy
UGG Classic Short Boots
There is nothing that touches these for just lazing around at home. Bar sleeping I don’t take mine off now that its getting colder, they are not quite as stiff as they were when they first arrived but still extremely comfortable. It would be nice if they had a little more arch support but other than that I’m very pleased. I am finding a nice ugg boots!
Posted by: ugg boots at November 5, 2009 02:42 AMJust wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
Mukluk boots
Good work, thanks! My sister received the Mbt Health shoes I bought her for her birthday, she adores them. I was a little worried the calf would be tight around her legs but it hasn’t been a problem. I’ll be back before Christmas.
I think I will try to recommend this post to my friends and family, cuz it’s really helpful.
Thanks for this nice post, i like it very much, write this article more.Nike Air Max 2003 Shoes
.
Only One word to characterize such a great post “WOW” that was a very interesting read
Adidas
Find Jeans ?！UGG boots On Sale ,Enjoy free shipping + bargain sale now!
UGG Classic Short,100% Authentic UGG Australia Boots!ALL of
Jeans are the cheapest and best for you!Enjoy yourself of shoping , Find Cheap Sheepskin
Jeans !
We also supply other products such as:
Hey, i am very happy today, I received my Mbt shoes
just now, very impressed. They are like sort of a massive slipper, soft, easy to wear and
light.
Posted by: Mbt shoes at November 5, 2009 02:52 AMThere is nothing that touches these for just lazing around at home. Bar sleeping I don’
t take mine off now that its getting colder, they are not quite as stiff as they were when
they first arrived but still extremely comfortable. It would be nice if they had a little
more arch support but other than that I’m very pleased. I am finding a nice
mbt shoes sale!
discount nike air yeezy
china wholesale online
discount ugg boots
furture
ugg boots
Discount store
Uggs on sale now.UGG Classic Cardy Boot makes me different form the other
girls. The UGG Bailey Button Boot is a good choice for female.
Posted by: ugg classic cardy boots at November 17, 2009 12:40 AMThe
39.html">classic cardy uggs boots is another hot boots that worth of buying.And the classic tall ugg boots
will make your winter amusing.And now uggs on sale,if you are looking for such a boot,the ugg boots is good choice this year.
Louis Vuitton , commonly referred to as LV Comes First In 2009 World's Top Ten Brands and Mother Shopping With LV Bag!, or sometimes shortened to Journey On LV has become one of the most Sofia Coppola Design Louis Vuitton Bags Agendas luxurybrands Louis Vuitton Flagship Store Opened In California.
www.enjoywholesale.com
china wholesale clothing,china wholesale shoes,china wholesale electronics,china wholesale suppliers,china manufacturers
china wholesale products,light in the box,wholesale lots,wholesale ipod
china direct,china dropship,china trade,made in china
electronics wholesaler,ebay wholesaler,financial wholesaler
fashion wholesaler,clothing wholesaler,wholesaler magazine
computer wholesaler,external wholesaler,dvd wholesaler,wholesaler definition,china wholesaler,mutual fund wholesaler,define wholesaler,insurance wholesaler
discount ugg boots
forture
ugg boots
Discount store
replica omega
replica oris
replica Panerai
replica Patek Philippe
replica Piaget
Supra Shoes
Supra Skytop Shoes
Supra Society
Supra Thunder
Supra Suprano Hi
Supra Strapped
Supra Trinity
Supra Skylow 1.5
Supra Dixon
Diablo 1.5
Supra Cruizer
Supra Vaider Shoes
Supra Cuban
We are the best online sales for the china wholesale . Here you can have a large of choices of kinds Ugg Boots,Converse Shoes,Timberland Boots,puma shoes,Nike Shox Shoes ,Nike Dunk SB Shoes,Nike Air Max，Links Of London,Tiffany Jewelry,Dior Handbags?,jimmy choo handbags ,Cartier Watches, 8GB Mp4 Players,Bluetooth Car DVDs. All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Nike Men's AF1 Light-up Shoes
light up air force
light up mens shoes
air force lights-up
light up shoes mens
light up air force ones
light up air force
air force lights-up
light up shoes af1
discount nike air yeezy
china wholesale online
discount ugg boots
nike free shoes
furture
ugg boots
Discount store
lijunrong Tiffany & Co Jewelry,Discount and Cheap Tiffany Jewellery On Sale
Popular Tiffany Jewelry On Sale
Tiffany & Co 1837 Cuff Z023 [Z023] On Sale
Tiffany & Co Engraved Heart Tag Choker Necklace [N163] On Sale
Tiffany & Co Frank Gehry Torque Bead Drop Earrings [E086] On Sale
Tiffany & Co 1837 Cuff Z031 [Z031] On Sale
Laptop Battery Laptop Battery Laptop Batteries
Laptop Batteries discount laptop battery
discount laptop battery
notebook battery notebook battery
computer battery computer battery
replacement laptop battery replacement laptop battery
notebook batteries notebook batteries
People all over the world know the abercrombie and fitch,but not everyone really knows how fashion the abercrombie is,hollister is the Legend maker. Everybody wears the hollister clothing would be the abercrombie mens and the abercrombie womens, if you want know you can search the Ruehl No.925 or abercrombie outlet in the www.google.com .
Posted by: fitch at November 25, 2009 09:42 PMUggs have been identified as a fashion trend for both sexes since the early 2000s.Ugg boots ugg classic cardy boots ride the vagaries of fashion trends,ugg classic tall boots with a growth in popularity for men tied to increased celebrity usage (e.g., Leonardo DiCaprio. Men and women especially of college age, teens, and tweens wear Uggs with jeans, dresses, shorts and long shirts or sweaters with leggings,classic cardy boots ugg footless tights, or knee socks and sometimes without any legwear.
Posted by: ugg classic tall boots at November 26, 2009 06:53 AMUggs have been identified as a fashion trend for both sexes since the early 2000s.Ugg boots ugg classic cardy boots ride the vagaries of fashion trends,ugg classic tall boots with a growth in popularity for men tied to increased celebrity usage (e.g., Leonardo DiCaprio. Men and women especially of college age, teens, and tweens wear Uggs with jeans, dresses, shorts and long shirts or sweaters with leggings,classic cardy boots ugg footless tights, or knee socks and sometimes without any legwear.
Posted by: ugg classic tall boots at November 26, 2009 06:54 AMWe are the best online sales for the china wholesale . Here you can have a large of choices of kinds cheap ugg classic tall boots on sale, tiffany & co jewelry,tiffany and co silver earrings,tiffany cheap silver rings,mbt shoes on sale.All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Posted by: China Wholesale at November 27, 2009 04:24 AMWe are the best online sales for the china wholesale . Here you can have a large of choices of kinds cheap ugg classic tall boots on sale, tiffany & co jewelry,tiffany and co silver earrings,tiffany cheap silver rings,mbt shoes on sale.All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Posted by: China Wholesale at November 27, 2009 04:25 AMWe are the best online sales for the china wholesale . Here you can have a large of choices of kinds cheap ugg classic tall boots on sale, tiffany & co jewelry,tiffany and co silver earrings,tiffany cheap silver rings,mbt shoes on sale.All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Posted by: China Wholesale at November 27, 2009 04:26 AMWe are the best online sales for the china wholesale . Here you can have a large of choices of kinds cheap ugg classic tall boots on sale, tiffany & co jewelry,tiffany and co silver earrings,tiffany cheap silver rings,mbt shoes on sale.All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Posted by: China Wholesale at November 27, 2009 04:26 AMchaoying nfl jerseys
Giants Jerseys
Patriots Jerseys
Packers Jerseys
These things are good, I hope you can continue to maintain!
China Electronics Wholesale China
Phone Cheap Cell Phones
href="http://www.thechinaphone.com/index.php?main_page=advanced_search_result&keyword=China%20Wholesale">China Wholesale
replica handbags
Louis Vuitton Replica
Louis Vuitton handbags
fake Louis Vuitton bags
fake Louis Vuitton
replica rolex
replica rolex
fake rolex
buy cheap fake rolex
rolex Submariner
Just wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
ugg bailey button
Wow, my ugg classic mini will not be coming off now! I’ve had them on for 12hrs strait and I do not want to take them off. Thanks for everything, well worth the wait.
cheap replica watches
Tudor watch for sale
Cartier watch for sale
Vacheron Constantin replica
Breitling replica
jordan shoes
uggs on sale
classic tall uggs on sale
Replica Louis Vuitton Speedy 30
Louis Vuitton Replica Speedy 30
Posted by: fanqin at December 1, 2009 02:54 AMBurberry Handbags|
Burberry Handbag|
Burberry bags|
Burberry bag|
Chloe Handbags|
Chloe Handbag|
Chloe bags|
Chloe bag|
Christian Dior Handbags|
d&g Handbags|
d&g Handbag|
d&g bags|
d&g bag|
Hermes Handbags|
Hermes Handbag|
Hermes bags|
Hermes bag|
replica Hermes|
replica Hermes Handbags|
replica watch
Jaquet droz watches
DeWitt watches
Rolex watch for sale
Rolex Explorer watch for sale
Tiffany Earrings
cheap replica watches
replica Hublot
Bvlgari replica
Piaget watch for sale
replica U-boat
nike shoes on sale
The ugg Bailey Button boots is made with 100% premium twin-faced sheepskin uggs on sale that wicks moisture away from your feet The lugged outsole and removable/replaceable insole is great for both comfort and function classic tall ugg boots.
Posted by: uggs on sale at December 1, 2009 10:04 PMJust wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
watch taking woodstock online
watch inglourious basterds
watch love happens online
harry potter and the half blood prince watch online
watch post grad online
watch brothers online
watch up in the air online
watch invictus online
watch the lovely bones online
watch a single man online
watch avatar online
Just wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
watch taking woodstock online
watch inglourious basterds
watch love happens online
harry potter and the half blood prince watch online
watch post grad online
watch brothers online
watch up in the air online
watch invictus online
watch the lovely bones online
watch a single man online
watch avatar online
ugg boots sale at a time when large heat has set off a winter 08/09 to Ewha.Outlines the
warm wool winter fashion degree to wool crocheted wool ugg boots uk to join after the
body does not stimulate your skin soft, soft comfort UP. Fashion can not without
ugg boots presence in Winter.and ugg boots have many series.such as:
ugg classic
UGG Bailey Button boots
ugg nightfall
ugg kids