Sign-In
Cart
Reduktionssysteme: Rechnen Und Schließen in Gleichungsdefinierten Strukturen
Paperback
Series: Springer-Lehrbuch
Please select the version of book you would like to purchase.
ISBN10: 3540585591
ISBN13: 9783540585596
Publisher: Springer Nature
Published: Mar 6 1995
Pages: 251
Weight: 0.82
Height: 0.55 Width: 6.14 Depth: 9.21
Language: German
ISBN13: 9783540585596
Publisher: Springer Nature
Published: Mar 6 1995
Pages: 251
Weight: 0.82
Height: 0.55 Width: 6.14 Depth: 9.21
Language: German
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schlie en in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren und 4. prinzipielle Entscheidbarkeit von grundlegenden Eigenschaften.
Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche und übersichtliche Darstellung abgerundet.
Für Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der künstlichen Intelligenz.
Für Studenten und Wissenschaftler auf dem Gebiet der Mathematischen Logik und formalen Sprachen, der Logik und Semantik von Programmiersprachen und der künstlichen Intelligenz.
Also in
Fiction
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Paperback
From $11.99
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Paperback
From $10.99
The Lions Finally Roar: The Ford Family, the Detroit Lions, and the Road to Redemption in the NFL
Morris, Bill
Hardcover
$28.45
The Ancient Eight: College Football's Ivy League and the Game They Play Today
Feinstein, John
Hardcover
$28.50
Women's Sport and Spectacle: Gendered Television Coverage and the Olympic Games
Daddario, Gina
Hardcover
$75.00
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics
Brown, Daniel James
Hardcover
From $10.99
Young Woman and the Sea: How Trudy Ederle Conquered the English Channel and Inspired the World
Stout, Glenn
Paperback
$18.04
The Boston Globe Story of the Celtics: 1946-Present: The Inside Stories and Acclaimed Reporting on the Nba's Banner Franchise
The Boston Globe
Finn, Chad
Hardcover
$30.40
The End of College Football: On the Human Cost of an All-American Game
Kalman-Lamb, Nathan
Silva, Derek
Paperback
$24.95
The Football Game That Changed America: How the NFL Created a National Holiday
Deninger, Dennis
Hardcover
$35.00
Harvey Penick's Little Red Book: Lessons and Teachings from a Lifetime in Golf
Penick, Harvey
Hardcover
$25.65
How to Watch Football: 52 Rules for Understanding the Beautiful Game, on and Off the Pitch
Tifo -. The Athletic
Hardcover
$23.74
Urban Trails: San Francisco: Coastal Bluffs/ The Presidio/ Hilltop Parks & Stairways
Kenin, Alexandra
Paperback
$16.10
Three Kings: Race, Class, and the Barrier-Breaking Rivals Who Launched the Modern Olympic Age
Balf, Todd
Hardcover
$26.59
The Boys in the Boat: Nine Americans and Their Epic Quest for Gold at the 1936 Berlin Olympics (Large Print Edition)
Brown, Daniel James
Paperback
$17.09
Golf's Majors: From Hagen and Hogan to a Bear and a Tiger, Inside the Game's Most Unforgettable Performances
Player, Gary
Williams, Randy O.
Hardcover
$30.88
The Club: How the English Premier League Became the Wildest, Richest, Most Disruptive Force in Sports
Robinson, Joshua
Clegg, Jonathan
Paperback
$19.79
The Little Guide to Formula One: High-Octane Quotes from the Pits to the Podium
Orange Hippo!
Hardcover
$8.50
The Horse God Built: The Untold Story of Secretariat, the World's Greatest Racehorse
Scanlan, Lawrence
Paperback
$19.00
Shattering the Glass: The Remarkable History of Women's Basketball
Grundy, Pamela
Shackelford, Susan
Paperback
$23.75
Cinderella Man: James J. Braddock, Max Baer, and the Greatest Upset in Boxing History
Schaap, Jeremy
Paperback
$21.99
Ballyhoo!: The Roughhousers, Con Artists, and Wildmen Who Invented Professional Wrestling
Langmead, Jon
Hardcover
$35.10
Fifty Places to Play Golf Before You Die: Golf Experts Share the World's Greatest Destinations
Santella, Chris
Hardcover
$28.49
Formula 1 Circuits: Maps and Statistics from Every Grand Prix Track
Collins Books
Hamilton, Maurice
Hardcover
$47.50
Got Your Number: The Greatest Sports Legends and the Numbers They Own
Greenberg, Mike
Hembekides, Paul
Hardcover
$24.69
Against All Odds: The Story of How a Group of Young Men Captured the Heart of a Campus
Scribner, Dave
Paperback
$15.15
My Life in and Out of the Rough: The Truth Behind All That Bull**** You Think You Know about Me
Daly, John
Paperback
$18.04
Fighting Irish Football: The Notre Dame Tradition in Photographs
Hogan, Elizabeth
Lamb, Charles
Hardcover
$52.25
The Emerald Mile: The Epic Story of the Fastest Ride in History Through the Heart of the Grand Canyon
Fedarko, Kevin
Hardcover
$29.45
Soccernomics (2022 World Cup Edition): Why European Men and American Women Win and Billionaire Owners Are Destined to Lose
Kuper, Simon
Szymanski, Stefan
Paperback
$20.89
The Machine: A Hot Team, a Legendary Season, and a Heart-Stopping World Series: The Story of the 1975 Cincinnati Reds
Posnanski, Joe
Paperback
$19.99
The Perfect Mile: Three Athletes, One Goal, and Less Than Four Minutes to Achieve It
Bascomb, Neal
Paperback
From $14.99
The Glory of Their Times: The Story of the Early Days of Baseball Told by the Men Who Played It
Ritter, Lawrence S.
Paperback
$18.04
If These Walls Could Talk: Buffalo Bills: Stories from the Buffalo Bills Sideline, Locker Room, and Press Box
Murphy, John
Pitoniak, Scott
Paperback
$18.95
Carlisle vs. Army: Jim Thorpe, Dwight Eisenhower, Pop Warner, and the Forgotten Story of Football'sGreatest Battle
Anderson, Lars
Paperback
$22.00
Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic
Withey, Michael
Paperback
$16.14
Fabric of the Game: The Stories Behind the Nhl's Names, Logos, and Uniforms
Radom, Todd
Creamer, Chris
Hardcover
$23.74
Bigger! Better! Badder!: Wrestlemania III and the Year It All Changed
Greenberg, Keith Elliot
Paperback
$21.80
The Three-Year Swim Club: The Untold Story of Maui's Sugar Ditch Kids and Their Quest for Olympic Glory
Checkoway, Julie
Paperback
$18.04
The Legendary Caddies of Augusta National: Inside Stories from Golf's Greatest Stage
Clayton, Ward
Paperback
$18.95
Baseball Heaven: Up Close and Personal, What It Was Really Like in the Major Leagues
Golenbock, Peter
Hardcover
$27.50
The Biography of Tottenham Hotspur: The Incredible Story of the World Famous Spurs
Welch, Julie
Hardcover
$23.75
The End of College Football: On the Human Cost of an All-American Game
Kalman-Lamb, Nathan
Silva, Derek
Hardcover
$99.00
A Time for Reflection: The Parallel Legacies of Baseball Icons Willie McCovey and Billy Williams
Cannon, Jason
Hardcover
$35.00
Death of the Territories: Expansion, Betrayal and the War That Changed Pro Wrestling Forever
Hornbaker, Tim
Paperback
$18.95
Probably the Best Book on Statistics Ever Written: How to Beat the Odds and Make Better Decisions
Shapira, Haim
Hardcover
$26.55
A People's History of Sports in the United States: 250 Years of Politics, Protest, People, and Play
Zirin, Dave
Paperback
$18.00
The 20 Greatest Moments in New York Sports History: Our Generation of Memories, from 1960 to Today
Myers, Gary
Ehrlich, Todd
Hardcover
$28.49
Faster: How a Jewish Driver, an American Heiress, and a Legendary Car Beat Hitler's Best
Bascomb, Neal
Paperback
$16.14
The Official History of the Tour de France: Revised and Updated (2023)
Laget, Serge
McGrath, Andy
Edwardes-Evans, Luke
Hardcover
$28.45
The Miracle of St. Anthony: A Season with Coach Bob Hurley and Basketball's Most Improbable Dynasty
Wojnarowski, Adrian
Paperback
$15.20
Black Knights and Fighting Irish: A Rivalry, a Game, and America One Year After the End of World War II
Cacioppe, Richard
Paperback
$19.95
Twelve Mighty Orphans: The Inspiring True Story of the Mighty Mites Who Ruled Texas Football
Dent, Jim
Paperback
$19.95
Game on: How Sports Media Grew Up, Sold Out, and Got Personal with Billions of Fans
Bockino, David
Hardcover
$35.10
Three-Ring Circus: Kobe, Shaq, Phil, and the Crazy Years of the Lakers Dynasty
Pearlman, Jeff
Paperback
$18.99